diff options
| author |  wuestholz <unknown> | 2013-12-09 09:48:11 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-12-09 09:48:11 +0100 |
| commit | 3de67fcd5ee66fa69c1b156fe67409812ee8a12c (patch) | |
| tree | a5d7964f49d45948258f50204548f41472ae3f61 /Binaries | |
| parent | 75aad652723efe9d0e41ee2e82f8123044b817a9 (diff) | |
Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred2.smt2' no longer needed).
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat index 29330621..e2521112 100644 --- a/Binaries/PrepareDafnyZip.bat +++ b/Binaries/PrepareDafnyZip.bat @@ -22,7 +22,6 @@ for %%f in ( Model.dll Model.pdb ParserHelper.dll ParserHelper.pdb Provers.SMTLib.dll Provers.SMTLib.pdb - UnivBackPred2.smt2 VCExpr.dll VCExpr.pdb VCGeneration.dll VCGeneration.pdb DafnyLanguageService.vsix |