(Ara) remove extra whitespace

2018-09-26 11:27:05 +02:00
parent 83793edc30
commit b945128a5b
18 changed files with 629 additions and 632 deletions
@@ -1,6 +1,6 @@
-concrete PhraseAra of Phrase = CatAra ** open 
-  ParamX, 
-  Prelude, 
+concrete PhraseAra of Phrase = CatAra ** open
+  ParamX,
+  Prelude,
  ResAra in {
  flags coding=utf8;