From 575a7b1acc5404210b3e2d865ffae660d7ab651e Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Sun, 9 Sep 2012 17:02:56 -0700
Subject: DafnyExtension: addressed a class initialization order problem

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

(limited to 'Util')

diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
index 497728d9..9f22b887 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs
@@ -42,8 +42,8 @@ namespace DafnyLanguage
         var options = new Dafny.DafnyOptions();
         options.ProverKillTime = 10;
         options.ErrorTrace = 0;
-        options.ApplyDefaultOptions();
         Dafny.DafnyOptions.Install(options);
+        options.ApplyDefaultOptions();
       }
     }
 
-- 
cgit v1.2.3