Update stp (#455)

gussmith23 · Jul 15, 2024 · 38eb7f4 · 38eb7f4
1 parent ba93fe4
commit 38eb7f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dependencies.sh b/dependencies.sh
@@ -22,7 +22,7 @@
 # cloned on a `git clone --recursive`.
 
 export STP_USER_AND_REPO="stp/stp"
-export STP_COMMIT_HASH="c760db4ebc6bb93a09d371789443d2fe00c713d2"
+export STP_COMMIT_HASH="918e55c011df5226d293d5f7a784507e03774e28"
 export YICES2_COMMIT_HASH="5326f0d645df6e38ae6e7d944381d01ba7d805ab"
 export BITWUZLA_COMMIT_HASH="b655bc0cde570258367bf8f09a113bc7b95e46e9"
 export RACKET_FMT_COMMIT_HASH="7d0a3dfff3a6cacfb59972a56d476556f89a0b1b"