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 | 575a7b1acc5404210b3e2d865ffae660d7ab651e (patch) | |
tree | 9bf6f5e6a3993887d88f1f856b45ae4040c90e5e /Util | |
parent | d2839857bd12437d98d78e8036c9c4c9f822ea13 (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();
}
}
|