fix test

ethereum · Oct 29, 2024 · a79f7de · a79f7de
1 parent 9439ae6
commit a79f7de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/hevm/pass/cast-5/cast-5.act b/tests/hevm/pass/cast-5/cast-5.act
@@ -35,6 +35,7 @@ interface constructor(address a1, address a2)
 
 pointers
   a1 |-> A
+  a2 |-> B
 
 iff
     CALLVALUE == 0