Changeset 10428 for trunk/CspCASL/Print_CspCASL.hs

Timestamp:

01.08.2008 13:17:06 (16 months ago)

Author:

maeder

Message:

removed more than two consecutive blank lines

Files:

• trunk/CspCASL/Print_CspCASL.hs (modified) (4 diffs)

trunk/CspCASL/Print_CspCASL.hs

@@ -42 +42 @@
 
 
-
 printChanDecs :: [CHANNEL_DECL] -> Doc
 printChanDecs cds = (vcat . punctuate semi . map pretty) cds
@@ -52 +51 @@
 printChanDecl (ChannelDecl ns s) =
     (ppWithCommas ns) <+> colon <+> (pretty s)
-
 
 
@@ -70 +68 @@
 
 
-
 instance Pretty PARM_PROCNAME where
     pretty = printParmProcname
@@ -85 +82 @@
 printProcAlphabet :: PROC_ALPHABET -> Doc
 printProcAlphabet (ProcAlphabet commTypes _) = ppWithCommas commTypes
-