Don't duplicate oldstate in op sat PO

nickbattle · Dec 16, 2023 · 89be51a · 89be51a
1 parent fa491ce
commit 89be51a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/pog/SatisfiabilityObligation.java b/vdmj/src/main/java/com/fujitsu/vdmj/pog/SatisfiabilityObligation.java
@@ -93,7 +93,7 @@ public SatisfiabilityObligation(POImplicitOperationDefinition op,
 			separator = "";
 			appendResult(sb, op.result);
 			appendStatePatterns(sb, stateDefinition, false, true);
-			appendStatePatterns(sb, stateDefinition, true, true);
+			// appendStatePatterns(sb, stateDefinition, true, true);
 			sb.append(" & ");
 		}