Pass pogState in POAnnotatedStatements

nickbattle · Nov 1, 2024 · e7be161 · e7be161
1 parent 2b093ad
commit e7be161
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/po/annotations/POAnnotatedStatement.java b/vdmj/src/main/java/com/fujitsu/vdmj/po/annotations/POAnnotatedStatement.java
@@ -57,7 +57,7 @@ public String toString()
 	public ProofObligationList getProofObligations(POContextStack ctxt, POGState pogState, Environment env)
 	{
 		annotation.poBefore(this, ctxt);
-		ProofObligationList obligations = statement.getProofObligations(ctxt, null, env);
+		ProofObligationList obligations = statement.getProofObligations(ctxt, pogState, env);
 		annotation.poAfter(this, obligations, ctxt);
 		return obligations;
 	}