diff options
| author |  leino <unknown> | 2014-10-21 01:40:17 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-21 01:40:17 -0700 |
| commit | e72bc10129c6cef993f40fba751ff22260410c21 (patch) | |
| tree | 88947ba331f2c2c77595bedc2fb9f77326806ec3 /Binaries | |
| parent | 5de2cc263ce26929baf03ca32c4d6738813db002 (diff) | |
Changed version to 1.9.1.11021
Also include ModelViewer.dll in binary distribution
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat index e2521112..55bc807a 100644 --- a/Binaries/PrepareDafnyZip.bat +++ b/Binaries/PrepareDafnyZip.bat @@ -20,6 +20,7 @@ for %%f in ( Graph.dll Graph.pdb Houdini.dll Houdini.pdb Model.dll Model.pdb + ModelViewer.dll ModelViewer.pdb ParserHelper.dll ParserHelper.pdb Provers.SMTLib.dll Provers.SMTLib.pdb VCExpr.dll VCExpr.pdb |