Fix some whitespace issues and similar

viperproject · Nov 28, 2024 · fd2938a · fd2938a
1 parent 1784b23
commit fd2938a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/silver/parser/ParseAstKeyword.scala b/src/main/scala/viper/silver/parser/ParseAstKeyword.scala
@@ -118,7 +118,7 @@ class PDelimited[+T, +D](
       case Some(p: PSym.Comma) => rs()
       case None => rn()
       case _ => rlb()
-    };
+    }
 
     showAny(first) <>
       inner.foldLeft(rn())((acc, b) => acc <> showAny(b._1) <> separator <> showAny(b._2)) <>