diff --git a/scripts/dev_setup.sh b/scripts/dev_setup.sh index eccf0d91..e499e170 100755 --- a/scripts/dev_setup.sh +++ b/scripts/dev_setup.sh @@ -19,7 +19,7 @@ Z3_VERSION=4.8.13 CVC5_VERSION=0.0.3 DOTNET_VERSION=5.0 BOOGIE_VERSION=2.9.6 -MPM_VERSION=v1.11.5-alpha +MPM_VERSION=v1.11.9 SCRIPT_PATH="$( cd "$( dirname "$0" )" >/dev/null 2>&1 && pwd )"