Skip to content

Commit

Permalink
Merge branch 'master' into highprecision
Browse files Browse the repository at this point in the history
  • Loading branch information
nickbattle committed Sep 19, 2024
2 parents 0d5a664 + 48aa91d commit 0f64612
Showing 1 changed file with 6 additions and 1 deletion.
Original file line number Diff line number Diff line change
@@ -205,7 +205,12 @@ private JSONObject getQCResponse(ProofObligation po, List<VDMMessage> messages)
{
if (po.message != null) // Add failed messages as a warning too
{
messages.add(new VDMWarning(9000, po.message, po.location));
StringBuilder sb = new StringBuilder();
sb.append("PO #");
sb.append(po.number);
sb.append(" ");
sb.append(po.message);
messages.add(new VDMWarning(9000, sb.toString(), po.location));
}
}

0 comments on commit 0f64612

Please sign in to comment.