diff options
-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();
}
}
|