Remove semicolons

ollef · May 21, 2024 · 7ea03f8 · 7ea03f8
1 parent 9d76da7
commit 7ea03f8
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/Low/Pretty.hs b/src/Low/Pretty.hs
@@ -126,12 +126,10 @@ prettySeq env = \case
       <+> pretty name'
       <+> "="
       <+> prettyTerm env term
-        <> ";"
         <> line
         <> prettySeq env' body
   Syntax.Seq term1 term2 ->
     prettyTerm env term1
-      <> ";"
       <> line
       <> prettySeq env term2
   term -> prettyTerm env term