1 files changed, 1 insertions, 7 deletions
diff --git a/Test/dafny2/runtest.bat b/Test/dafny2/runtest.bat
index 50b4ca18..6c723ea5 100644
--- a/Test/dafny2/runtest.bat
+++ b/Test/dafny2/runtest.bat
@@ -16,11 +16,5 @@ for %%f in (
   ) do (
   echo.
   echo -------------------- %%f --------------------
-
-  REM The following line will just run the verifier
-  IF "%COMPILEDAFNY%"=="" %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
-
-  REM Alternatively, the following lines also produce C# code and compile it
-  IF NOT "%COMPILEDAFNY%"=="" %DAFNY_EXE% %* %%f
-  IF NOT "%COMPILEDAFNY%"=="" %CSC% /nologo /debug /t:library /out:out.dll /r:System.Numerics.dll out.cs
+  %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
 )