diff --git a/iris_check.v b/iris_check.v
index 5a3cf689b7d4814d2d769397f0a32bccc54943e6..2f8b0b2dc5e662a700b771120b76377d2f44815d 100644
--- a/iris_check.v
+++ b/iris_check.v
@@ -201,5 +201,6 @@ Print Assumptions pvsGhostUpd.
 
 Print Assumptions wpRet.
 Print Assumptions wpBind.
-Print Assumptions htCons.
-Print Assumptions htACons.
+Print Assumptions wpPreVS.
+Print Assumptions wpPostVS.
+Print Assumptions wpACons.