diff --git a/tests/hevm/pass/cast-5/cast-5.act b/tests/hevm/pass/cast-5/cast-5.act
index 103da632..3e05803b 100644
--- 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