Revert "Update booster to a version compatible with latest llvm backe…

…nd" (#3912) Reverts #3911 This was not a correct merge as it didn't update the nix flake, nor the submodule
runtimeverification · Jan 19, 2024 · e24753b · e24753b
1 parent 4224a14
commit e24753b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-d153e54d3832f7ce025d26e28d4d7c4e81cacd10
+60beeb07af3f89e65d116c45559fc34dbc55afb3