diff options
Diffstat (limited to 'Binaries/PrepareDafnyZip.bat')
| -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 |