fix test

zoep · zoep · commit a79f7de1bff4 · 2024-10-29T22:57:21.000+02:00
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    
