From 5a97255c469d29a13e8984d320c9801a8fd941b9 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Tue, 19 Nov 2024 11:19:26 +0000
Subject: [PATCH] Fix for opaque types in launch factory

---
 vdmj/src/main/java/com/fujitsu/vdmj/pog/POLaunchFactory.java | 3 ++-
 1 file changed, 2 insertions(+), 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
index ed6dc2d70..826a5033c 100644
--- 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;
 		}
 	}