diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-09-09 17:02:56 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-09-09 17:02:56 -0700 |
| commit | e28099bdd09a8fc66b40720a13e1e5c6ce4cd9ca (patch) | |
| tree | 2192c3873b804c4ac32a5049af7e2836038b2a80 /Util | |
| parent | 93ccb324dc2b90c3e487edb5b9640a21ef358806 (diff) | |
DafnyExtension: addressed a class initialization order problem
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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();
}
}
|