From 820a7bda25c5541ce9580f99ec9f6eb512103e59 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 11 Jan 2025 06:40:30 +0100 Subject: Removed the json configuration management --- lib/errors/importErrors.mli | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) (limited to 'lib/errors/importErrors.mli') diff --git a/lib/errors/importErrors.mli b/lib/errors/importErrors.mli index 5a2921b..445361e 100644 --- a/lib/errors/importErrors.mli +++ b/lib/errors/importErrors.mli @@ -4,8 +4,8 @@ exception SqlError of Sqlite3.Rc.t exception MisplacedWindow exception Unknown_source of string -(** Exception raised when a source used in a path is not declared as an - external *) +(** Exception raised when a source used in a path is not declared as an external +*) exception Cycle of string list (** Cycle between the dpendencies *) @@ -13,12 +13,6 @@ exception Cycle of string list exception Unknown_extension of string exception UnknowFunction of string -exception - JsonError of { - json : string; - element : string; - } - type xlsError = { source : ImportDataTypes.Table.t; row : int; -- cgit v1.2.3