diff --git a/su4sml/src/wfcpog/wfcpog.cm b/su4sml/src/wfcpog/wfcpog.cm
index 8cb16bc..70e3507 100644
--- a/su4sml/src/wfcpog/wfcpog.cm
+++ b/su4sml/src/wfcpog/wfcpog.cm
@@ -52,7 +52,7 @@ Group is
   $smlnj/ml-yacc/ml-yacc-lib.cm
 #endif
 
-"../rep_secureuml.sig"
+
 "../rep_secureuml.sml"	
 "rep_holocl.sml"
 "datatab.sml"