update mpm version

starcoinorg · Aug 18, 2023 · 2da6d5a · 2da6d5a
1 parent 216cc65
commit 2da6d5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/dev_setup.sh b/scripts/dev_setup.sh
@@ -19,7 +19,7 @@ Z3_VERSION=4.11.2
 CVC5_VERSION=0.0.3
 DOTNET_VERSION=6.0
 BOOGIE_VERSION=2.15.8
-MPM_VERSION=v1.13.7-alpha
+MPM_VERSION=v1.13.7
 
 
 SCRIPT_PATH="$( cd "$( dirname "$0" )" >/dev/null 2>&1 && pwd )"