integrate DocumentationSlv with the rest of the grammar

2019-03-16 16:01:59 +01:00
parent 75f919d46f
commit 163d797357
2 changed files with 3 additions and 2 deletions
@@ -1,7 +1,8 @@
 concrete LangSlv of Lang =
  GrammarSlv,
  LexiconSlv,
-  ConstructionSlv
+  ConstructionSlv,
+  DocumentationSlv

  ** {