Changeset 12758

Timestamp:

30.10.2009 11:04:23 (3 weeks ago)

Author:

maeder

Message:

exclude a cyclic transitivity (as before)

Files:

• trunk/Comorphisms/CASL2PCFOL.hs (modified) (1 diff)

trunk/Comorphisms/CASL2PCFOL.hs

@@ -184 +184 @@
       [mkIdAxiom s s' | Set.member s $ supersortsOf s' sig ]
       ++ mkEmbInjAxiom s s' : mkProjInjAxiom s s' : mkProjAxiom s s'
-      : map (mkTransAxiom  s s') (realSupers s'))
+      : map (mkTransAxiom  s s') (filter (/= s) $ realSupers s'))
     $ realSupers s) $ Set.toList $ sortSet sig
     where