From e7be161f7199e25d81933fee0f5a56156c630d43 Mon Sep 17 00:00:00 2001
From: Nick Battle <nick.battle@gmail.com>
Date: Fri, 1 Nov 2024 17:53:08 +0000
Subject: [PATCH] Pass pogState in POAnnotatedStatements

---
 .../com/fujitsu/vdmj/po/annotations/POAnnotatedStatement.java   | 2 +-
 1 file changed, 1 insertion(+), 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
index 86f2e2875..f1268078d 100644
--- 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;
 	}