DafnyExtension: Made it use the more advanced on-demand re-verification by default.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 9bfdaae7..5dd6d8ab 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -45,7 +45,7 @@ namespace DafnyLanguage
 

         ExecutionEngine.printer = new DummyPrinter();

         ExecutionEngine.errorInformationFactory = new DafnyErrorInformationFactory();

-        ChangeIncrementalVerification(1);

+        ChangeIncrementalVerification(2);

       }

     }