Add nullable disable

dafny-lang · Aug 16, 2023 · fb3d731 · fb3d731
1 parent 1a5c7d8
commit fb3d731
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 5 deletions.
diff --git a/Source/DafnyDriver/CoverageReporter.cs b/Source/DafnyDriver/CoverageReporter.cs
@@ -4,7 +4,6 @@
 using System.Linq;
 using System.Text;
 using System.Text.RegularExpressions;
-using Microsoft.Dafny;
 
 namespace Microsoft.Dafny; 
 

diff --git a/Source/DafnyTestGeneration/CoverageReport/CoverageLabel.cs b/Source/DafnyTestGeneration/CoverageReport/CoverageLabel.cs
@@ -1,5 +1,4 @@
-using System;
-using System.Linq;
+#nullable disable
 
 namespace Microsoft.Dafny;
 

diff --git a/Source/DafnyTestGeneration/CoverageReport/CoverageReport.cs b/Source/DafnyTestGeneration/CoverageReport/CoverageReport.cs
@@ -1,3 +1,4 @@
+#nullable disable
 using System;
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;

diff --git a/Source/DafnyTestGeneration/CoverageReport/CoverageSpan.cs b/Source/DafnyTestGeneration/CoverageReport/CoverageSpan.cs
@@ -1,7 +1,6 @@
+#nullable disable
 using System;
 using System.Diagnostics.Contracts;
-using System.Text.RegularExpressions;
-using Microsoft.Dafny;
 
 namespace Microsoft.Dafny;