[Vagrant] Updated Sireum.

loonwerks · Mar 1, 2021 · adf26ea · adf26ea
1 parent 7ea72c7
commit adf26ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/TA5/case-env/case-setup.sh b/TA5/case-env/case-setup.sh
@@ -4,7 +4,7 @@
 set -Eeuxo pipefail
 
 : "${BASE_DIR:=$HOME/CASE}"
-: "${SIREUM_V:=2472e60b479c95b75243886ff79806581fa74663}"
+: "${SIREUM_V:=ba1a6baa6c92d489b17ffb5600c54ea27997c2fe}"
 : "${FMIDE_V:=nightly}" # use nightly release by default
 
 export DEBIAN_FRONTEND=noninteractive