diff options
Diffstat (limited to 'src/Transfer/Syntax/Print.hs')
| -rw-r--r-- | src/Transfer/Syntax/Print.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Transfer/Syntax/Print.hs b/src/Transfer/Syntax/Print.hs index 101ec29eb..fc0bab0fe 100644 --- a/src/Transfer/Syntax/Print.hs +++ b/src/Transfer/Syntax/Print.hs @@ -154,12 +154,10 @@ instance Print (Tree c) where instance Print [Import] where prt _ es = case es of [] -> (concatD []) - [x] -> (concatD [prt 0 x]) x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs]) instance Print [Decl] where prt _ es = case es of [] -> (concatD []) - [x] -> (concatD [prt 0 x]) x:xs -> (concatD [prt 0 x , doc (showString ";") , prt 0 xs]) instance Print [ConsDecl] where prt _ es = case es of |