Supply C# compiler switch /nowarn:0219, which suppresses any warning CS0219 about variables not being used.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 4983c51f..ba4a9d2c 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -297,7 +297,7 @@ namespace Microsoft.Dafny
           cp.OutputAssembly = Path.ChangeExtension(dafnyProgramName, "dll");

           cp.GenerateInMemory = false;

         }

-        cp.CompilerOptions = "/debug /nowarn:0164";  // warning CS0164 complains about unreferenced labels

+        cp.CompilerOptions = "/debug /nowarn:0164 /nowarn:0219";  // warning CS0164 complains about unreferenced labels, CS0219 is about unused variables

         cp.ReferencedAssemblies.Add("System.Numerics.dll");

 

         var cr = provider.CompileAssemblyFromSource(cp, csharpProgram);