import ConstructionTur to force compilation

This commit is contained in:
Krasimir Angelov committed 2026-10-05 13:58:41 +02:00
1 parent b4d288419e
commit 480d64637d
1 file changed
+1
+1
View File
@@ -3,6 +3,7 @@
concrete LangTur of Lang =
GrammarTur,
LexiconTur
,ConstructionTur --# notpresent
,DocumentationTur --# notpresent
** {