diff --git a/su4sml/src/wfcpog/wfcpog.cm b/su4sml/src/wfcpog/wfcpog.cm
index 70e3507..13c45c2 100644
--- a/su4sml/src/wfcpog/wfcpog.cm
+++ b/su4sml/src/wfcpog/wfcpog.cm
@@ -69,7 +69,7 @@ Group is
 "command_query_consistency.sml"
 "taxonomy_consistency.sml"
 "interface_consistency.sml"
-"SecureUML_constraint.sml"
+(* "SecureUML_constraint.sml" *)
 
 (* wccpog toplevel *)
 "wfcpog_registry.sml"