From 81db1bfd580791910646525e30bc45af34533987 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly <sebastien@dailly.me> Date: Sat, 1 Mar 2025 08:39:02 +0100 Subject: Rewrite the way to handle filters --- lib/configuration/importConf.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/configuration/importConf.ml') 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 -- cgit v1.2.3