Add ExtendTur to the list of modules

This commit is contained in:
Krasimir Angelov
2022-02-21 16:15:32 +08:00
committed by Meowyam
parent 7da1cc310b
commit 0ee84ddb7d
+2 -2
View File
@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common:../prelude
concrete AllTur of AllTurAbs =
LangTur
-- ,ExtendTur
LangTur,
ExtendTur
** {} ;