diff --git a/certora/confs/LibSummary.conf b/certora/confs/LibSummary.conf
index b89e7fe3..804928d2 100644
--- a/certora/confs/LibSummary.conf
+++ b/certora/confs/LibSummary.conf
@@ -6,7 +6,7 @@
     "verify": "MorphoHarness:certora/specs/LibSummary.spec",
     "rule_sanity": "basic",
     "prover_args": [
-        "-useBitVectorTheory",
+        "-smt_bitVectorTheory true"
     ],
     "server": "production",
     "msg": "Morpho Blue Lib Summary"