diff --git a/certora/scripts/passes/verifyTimelock.sh b/certora/scripts/passes/verifyTimelock.sh
index 713324a82..c1b9d44c9 100644
--- a/certora/scripts/passes/verifyTimelock.sh
+++ b/certora/scripts/passes/verifyTimelock.sh
@@ -7,5 +7,5 @@ certoraRun \
     --verify TimelockControllerHarness:certora/specs/TimelockController.spec \
     --optimistic_loop \
     --loop_iter 3 \
+    --optimistic_hashing \
     $@
-#    --settings -byteMapHashingPrecision=32 \