diff --git a/su4sml/src/wfcpog/wfcpog.cm b/su4sml/src/wfcpog/wfcpog.cm
index 13c45c2..70e3507 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"