Add ExtendTur to the list of modules

This commit is contained in:
Krasimir Angelov
2021-12-20 16:27:21 +01:00
committed by GitHub
parent 447926a2ec
commit 1d32508312

View File

@@ -1,6 +1,6 @@
--# -path=.:../abstract:../common:../prelude
concrete AllTur of AllTurAbs =
LangTur
-- ,ExtendTur
LangTur,
ExtendTur
** {} ;