remove references to old lexicons

2026-06-28 04:16:30 -06:00 · 2019-06-28 16:54:26 +02:00
parent 313ec7fb57
commit a37b4dbe54
2 changed files with 2 additions and 2 deletions
@@ -1,5 +1,5 @@
 concrete ExtraLat of ExtraLatAbs =
-  CatLat, ExtraLexiconLat, ConjunctionLat ** 
+  CatLat, ConjunctionLat ** 
  open ResLat, ParadigmsLat, Coordination, Prelude in {
  lincat CS = Str ;
  lin