__* empty log message __*

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3116 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Aug 28, 2004 · 55b0935 · 55b0935
1 parent eafdd84
commit 55b0935
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CASL/SymbolMapAnalysis.hs b/CASL/SymbolMapAnalysis.hs
@@ -766,7 +766,7 @@ Output: signature "Sigma1"<=Sigma.
 cogeneratedSign :: Ext f e m -> SymbolSet -> Sign f e 
                 -> Result (Morphism f e m)
 cogeneratedSign extEm symset sigma = do
-  if trace ("symset "++show symset++"\nsymset0 "++show symset0)
+  if {-trace ("symset "++show symset++"\nsymset0 "++show symset0)-}
            (not (symset `Set.subset` symset0))   -- 2.
    then pfatal_error 
          (ptext "Hiding: The following symbols"