From 30cf12552a3b246d539c0ae625f3a5fc8f4b0a21 Mon Sep 17 00:00:00 2001
From: Manuel Krucker <mkrucker@ethz.ch>
Date: Mon, 12 May 2008 13:01:51 +0000
Subject: [PATCH] rep_secureuml.sig removed

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7958 3260e6d1-4efc-4170-b0a7-36055960796d
---
 su4sml/src/wfcpog/wfcpog.cm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"