From e72bc10129c6cef993f40fba751ff22260410c21 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Tue, 21 Oct 2014 01:40:17 -0700
Subject: Changed version to 1.9.1.11021 Also include ModelViewer.dll in binary
 distribution

---
 Binaries/PrepareDafnyZip.bat | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Binaries')

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
-- 
cgit v1.2.3