From 6ca3d5ea9091df9406e60423e2ca80bd6f55f05d Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 26 Jan 2015 15:22:49 +0100
Subject: DafnyExtension: Made it use the more advanced on-demand
 re-verification by default.

---
 Source/DafnyExtension/DafnyDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/DafnyExtension')

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);
       }
     }
 
-- 
cgit v1.2.3