Changeset 11224 for trunk/CspCASL/Print_CspCASL.hs

Timestamp:

07.01.2009 10:50:34 (11 months ago)

Author:

csliam

Message:

Improved pretty printing of CspCASL signatures

Files:

• trunk/CspCASL/Print_CspCASL.hs (modified) (1 diff)

trunk/CspCASL/Print_CspCASL.hs

@@ -152 +152 @@
 instance Pretty CommType where
     pretty (CommTypeSort s) = pretty s
-    pretty (CommTypeChan (TypedChanName c s)) =  parens (sepByCommas [pretty c, pretty s])
+    pretty (CommTypeChan (TypedChanName c s)) =  pretty c -- BUG ?  - this is the old version  :  parens (sepByCommas [pretty c, pretty s])