From 6ba7c40b0d2cc2ea6e59f8ca5e13ed136b3eb122 Mon Sep 17 00:00:00 2001
From: mschwerhoff <unknown>
Date: Mon, 26 Mar 2012 10:26:56 +0200
Subject: Chalice: Added /boogieOpt:noinfer to chalice.bat in order to run
 Boogie without the specification inference component, because the latter is
 currently causing trouble with one of the AVL-tree examples.

---
 Chalice/chalice.bat | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Chalice/chalice.bat b/Chalice/chalice.bat
index d5991326..6400ca7b 100644
--- a/Chalice/chalice.bat
+++ b/Chalice/chalice.bat
@@ -36,6 +36,7 @@ set CHALICE_MAIN=chalice.Chalice
 REM Chalice command line options
 set CHALICE_OPTS=
 set CHALICE_OPTS=%CHALICE_OPTS% /boogieOpt:nologo
+set CHALICE_OPTS=%CHALICE_OPTS% /boogieOpt:noinfer
 set CHALICE_OPTS=%CHALICE_OPTS% %*
 
 REM Assemble main command
-- 
cgit v1.2.3