Changeset 11201 for trunk/Comorphisms/CspCASL2Modal.hs

Timestamp:

03.01.2009 15:43:50 (11 months ago)

Author:

maeder

Message:

renamed funs in CASL to ops

Files:

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

trunk/Comorphisms/CspCASL2Modal.hs

@@ -72 +72 @@
 mapMor m = (embedMorphism emptyMorExt (mapSig $ msource m) $ mapSig $ mtarget m)
   { sort_map = sort_map m
-  , fun_map = fun_map m
+  , op_map = op_map m
   , pred_map = pred_map m }
     -- ??? add modalities