Open zvonimir opened 3 years ago
Once a new release of Boogie gets pushed out, we should be able to remove this line: https://github.com/smackers/smack/blob/develop/bin/build.sh#L386
Once a new release of Boogie gets pushed out, we should be able to remove this line: https://github.com/smackers/smack/blob/develop/bin/build.sh#L386