diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-03-01 08:39:02 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-03-06 20:57:10 +0100 |
| commit | 81db1bfd580791910646525e30bc45af34533987 (patch) | |
| tree | c610f53c284d3707a3d6fe49486b5c09e66dc41f /lib/configuration/importConf.ml | |
| parent | 67320d8f04e1f302306b9aafdaaf4bafcf443839 (diff) | |
Rewrite the way to handle filters
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 |