Changeset 11201 for trunk/Comorphisms/CASL2CspCASL.hs

Timestamp:

03.01.2009 15:43:50 (11 months ago)

Author:

maeder

Message:

renamed funs in CASL to ops

Files:

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

trunk/Comorphisms/CASL2CspCASL.hs

@@ -70 +70 @@
   (embedMorphism emptyCspAddMorphism (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 }