Changeset 11965

Timestamp:

16.07.2009 20:56:21 (8 months ago)

Author:

mkhl

Message:

Use refactored calls in Logic_Maude

Files:

• trunk/Maude/Logic_Maude.hs (modified) (1 diff)

trunk/Maude/Logic_Maude.hs

@@ -104 +104 @@
     -- matches
     -- operations on signatures and morphisms --
-    is_subsig Maude sign1 sign2 = Sign.subsig sign1 sign2
+    is_subsig Maude = Sign.isSubsign
     empty_signature Maude = Sign.empty
-    signature_union Maude sign1 sign2 = return $ Sign.sig_union sign1 sign2
-    intersection Maude sign1 sign2 = return $ Sign.sig_int sign1 sign2
+    signature_union Maude sign1 sign2 = return $ Sign.union sign1 sign2
+    intersection Maude sign1 sign2 = return $ Sign.intersection sign1 sign2
     -- final_union
     -- morphism_union