small style adjustment

Certora · Dec 18, 2024 · a8561df · a8561df
1 parent 8f011da
commit a8561df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/specs/v1.5/Execute.spec b/certora/specs/v1.5/Execute.spec
@@ -102,7 +102,7 @@ rule executePermissions(method f) filtered {
          f.selector != sig:getStorageAt(uint256,uint256).selector
 } {
     env e;
-    require (execute_called == false);
+    require !execute_called;
 
     calldataarg args;
     f(e, args);