summaryrefslogtreecommitdiff
path: root/Binaries
diff options
context:
space:
mode:
Diffstat (limited to 'Binaries')
-rw-r--r--Binaries/PrepareDafnyZip.bat1
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