[comment added
martin.hofmann@uni-bamberg.de**20100107112143] hunk ./src/Igor2/Data/Hypotheses.hs 231
-          
+
+-- number of Pattern the do not subsume any other pattern          
hunk ./src/Igor2/Data/Hypotheses.hs 237
-    leastPatterns (p1:ps) p2 = do        
+    leastPatterns (p1:ps) p2 = do