Add missing comma in PO

nickbattle · Dec 1, 2023 · 0d6daac · 0d6daac
1 parent a8d65ee
commit 0d6daac
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/pog/RecursiveObligation.java b/vdmj/src/main/java/com/fujitsu/vdmj/pog/RecursiveObligation.java
@@ -61,11 +61,14 @@ private String getLHS(PODefinition def)
 
 			if (edef.typeParams != null)
 			{
+				String sep = "";
 				sb.append("[");
 
 				for (TCType type: edef.typeParams)
 				{
+					sb.append(sep);
 					sb.append(type);
+					sep = ", ";
 				}
 
 				sb.append("]");