Index: trunk/CspCASL/SimplifySen.hs
===================================================================
--- trunk/CspCASL/SimplifySen.hs (revision 11228)
+++ trunk/CspCASL/SimplifySen.hs (revision 11230)
@@ -60,9 +60,12 @@
           Interleaving (simplifyProc sigma p) (simplifyProc sigma q) range
       SynchronousParallel p q range ->
-          SynchronousParallel (simplifyProc sigma p) (simplifyProc sigma q) range
+          SynchronousParallel (simplifyProc sigma p)
+                                  (simplifyProc sigma q) range
       GeneralisedParallel p es q range ->
-          GeneralisedParallel (simplifyProc sigma p) es (simplifyProc sigma q) range
+          GeneralisedParallel (simplifyProc sigma p) es
+                                  (simplifyProc sigma q) range
       AlphabetisedParallel p esp esq q range ->
-          AlphabetisedParallel (simplifyProc sigma p) esp esq (simplifyProc sigma q) range
+          AlphabetisedParallel (simplifyProc sigma p) esp esq
+                                   (simplifyProc sigma q) range
       Hiding p es range ->
           Hiding (simplifyProc sigma p) es range
@@ -71,5 +74,6 @@
       ConditionalProcess f p q range ->
           ConditionalProcess (simplifyCASLSen caslSign f)
-                                 (simplifyProc sigma p) (simplifyProc sigma q) range
+                                 (simplifyProc sigma p)
+                                 (simplifyProc sigma q) range
       NamedProcess name args range ->
           NamedProcess name args range