From bf1a2c54be145fb62f3e8169e4df5874be5411cc Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 23 Aug 2011 10:13:02 +0200
Subject: Updated 'PrepareBoogieZip.bat' to include Houdini.

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

(limited to 'Binaries')

diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat
index 3c512aaa..9edeec4a 100644
--- a/Binaries/PrepareBoogieZip.bat
+++ b/Binaries/PrepareBoogieZip.bat
@@ -17,6 +17,7 @@ for %%f in (
   Dafny.exe                   Dafny.pdb
   DafnyPipeline.dll           DafnyPipeline.pdb
   Graph.dll                   Graph.pdb
+  Houdini.dll                 Houdini.pdb
   Model.dll                   Model.pdb
   ParserHelper.dll            ParserHelper.pdb
   Provers.Isabelle.dll        Provers.Isabelle.pdb
-- 
cgit v1.2.3