Fix for opaque types in launch factory

nickbattle · Nov 19, 2024 · 5a97255 · 5a97255
1 parent 5f39103
commit 5a97255
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/pog/POLaunchFactory.java b/vdmj/src/main/java/com/fujitsu/vdmj/pog/POLaunchFactory.java
@@ -283,7 +283,8 @@ private String paramMatch(POPattern p, TCType type, Context ctxt) throws Excepti
 		else
 		{
 			List<ApplyArg> lastArgs = applyCall.applyArgs.get(applyCall.applyArgs.size() - 1);
-			lastArgs.add(new ApplyArg(p.toString(), type.toString(), result));
+			String stype = type.toString().replace(" /* opaque */", "");	// HACK!
+			lastArgs.add(new ApplyArg(p.toString(), stype, result));
 			return result;
 		}
 	}