Merge branch 'master' into highprecision

nickbattle · Oct 23, 2023 · c784ff3 · c784ff3
2 parents d70ef38 + 8e45c1f
commit c784ff3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vdmj/src/test/java/com/fujitsu/vdmj/junit/PogTest.java b/vdmj/src/test/java/com/fujitsu/vdmj/junit/PogTest.java
@@ -65,7 +65,7 @@ protected void tearDown() throws Exception
 
 	private String[] expected =
 	{
-			/* 1 */ "(forall a:seq of nat1 &\n  is_(inv_T2(a), bool))\n",
+			/* 1 */ "(forall a:T2 &\n  is_(inv_T2(a), bool))\n",
 			/* 2 */ "exists a : seq of nat1 & (a <> [])\n",
 			/* 3 */ "forall m1, m2 in set {{1 |-> 2}, {2 |-> 3}} & forall d3 in set dom m1, d4 in set dom m2 & d3 = d4 => m1(d3) = m2(d4)\n",
 			/* 4 */ "After instance variable initializers (iv < 10)\n",