diff options
Diffstat (limited to 'lib/configuration/importConf.ml')
| -rw-r--r-- | lib/configuration/importConf.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/configuration/importConf.ml b/lib/configuration/importConf.ml index ebbcb7c..8516008 100644 --- a/lib/configuration/importConf.ml +++ b/lib/configuration/importConf.ml @@ -1,5 +1,6 @@ open StdLabels module Syntax = Syntax +module CTE = Cte module Table = ImportDataTypes.Table module Path = ImportDataTypes.Path module T = Read_conf |