Automatic whitespace removal

This commit is contained in:
Inari Listenmaa
2020-05-04 13:45:43 +02:00
parent b5902789a8
commit 5c48828e8e
15 changed files with 178 additions and 182 deletions
+1 -2
View File
@@ -1,7 +1,6 @@
--# -path=.:../abstract:../common:../api:../prelude
concrete AllFin of AllFinAbs =
concrete AllFin of AllFinAbs =
LangFin - [SlashV2VNP,SlashVV, TFut], ---- to speed up linking; to remove spurious parses
ExtraFin - [ProDrop, ProDropPoss, S_OSV, S_VSO, S_ASV, AdvExistNP] -- to exclude spurious parses
** open ExtendFin in {} --- to make it compile by default