diff options
| author |  Unknown <afd@afd-THINK> | 2012-03-26 09:39:47 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-03-26 09:39:47 +0100 |
| commit | b14e3107703775669203f2cdaa481525e6c8a022 (patch) | |
| tree | 0333e6859a4c5c6996da3c429698950f47d49781 | |
| parent | 20a9af2493a09863d503fe1b92c1190e40f2d3e7 (diff) | |
| parent | 6ba7c40b0d2cc2ea6e59f8ca5e13ed136b3eb122 (diff) | |
Merge
| -rw-r--r-- | Chalice/chalice.bat | 1 |
1 files changed, 1 insertions, 0 deletions
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
|