add Extend to AllTel

2026-09-03 09:56:59 -06:00 · 2026-09-03 10:52:21 +02:00
parent f3a5a70221
commit aeebeb9a69
2 changed files with 5 additions and 2 deletions
@@ -1,3 +1,5 @@
 --# -path=.:../abstract:../common:../prelude

-concrete AllTel of AllTelAbs = LangTel ;
+concrete AllTel of AllTelAbs =
+  LangTel,
+  ExtendTel ;
@@ -1 +1,2 @@
-abstract AllTelAbs = Lang ;
+abstract AllTelAbs =
+  Lang, Extend ;