Merge branch 'master' into highprecision

nickbattle · Oct 24, 2024 · 4cc963b · 4cc963b
2 parents 28ef241 + 0e22886
commit 4cc963b
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/po/definitions/PODefinitionList.java b/vdmj/src/main/java/com/fujitsu/vdmj/po/definitions/PODefinitionList.java
@@ -99,10 +99,9 @@ public ProofObligationList getDefProofObligations(POContextStack ctxt, POGState
 
 		for (PODefinition d: this)
 		{
-			ctxt.push(new POLetDefContext(d));		// In scope for recursive or total obligations
-			count++;
-
 			obligations.addAll(d.getProofObligations(ctxt, pogState, env));
+			ctxt.push(new POLetDefContext(d));
+			count++;
 		}
 
 		for (int i=0; i<count; i++)