diff options
| author |  Unknown <Alex@Mehldau.ethz.ch> | 2012-09-03 18:08:37 +0200 |
|---|---|---|
| committer | Unknown <Alex@Mehldau.ethz.ch> | 2012-09-03 18:08:37 +0200 |
| commit | eeec835a6b344aa2b898e6d2372b93a84c68b98e (patch) | |
| tree | 6590c991f11085ef311e531ebf14e074a256c377 /Chalice/chalice.bat | |
| parent | 51be165111f92dd95695ee10a8ddeb24093d90cf (diff) | |
Chalice: reapplied changes from changeset
2648 (ff8bdaa099cd) Chalice: Allow unfolding expressions in predicates (this fixes workitem 10223).
Diffstat (limited to 'Chalice/chalice.bat')
| -rw-r--r-- | Chalice/chalice.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Chalice/chalice.bat b/Chalice/chalice.bat index 21b60708..54dbef15 100644 --- a/Chalice/chalice.bat +++ b/Chalice/chalice.bat @@ -37,7 +37,7 @@ 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% /boogie:C:\Users\Alex\Documents\chalice-prototypes\boogie-binaries\Boogie.exe
+set CHALICE_OPTS=%CHALICE_OPTS% /boogie:C:\Users\Alex\Downloads\nightly\Boogie.exe
set CHALICE_OPTS=%CHALICE_OPTS% %*
REM Assemble main command
|