diff --git a/plugins/ProM/projectM b/plugins/ProM/projectM
index 4aa561b..288f0fa 160000
--- a/plugins/ProM/projectM
+++ b/plugins/ProM/projectM
@@ -1 +1 @@
-Subproject commit 4aa561b282d0450efb6ace1179cfda6406d28ac9
+Subproject commit 288f0fa4d096cdbb9fd88c0b1f2e9c3dba2ba426