From 8e012f4804ecf1665819e761283120a3c0e73643 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 17 Jan 2025 20:48:43 +0100 Subject: Switched from OUnit to alcotest --- lib/configuration/importConf.mli | 4 ---- 1 file changed, 4 deletions(-) (limited to 'lib/configuration/importConf.mli') diff --git a/lib/configuration/importConf.mli b/lib/configuration/importConf.mli index c88b0f1..9ddc40c 100644 --- a/lib/configuration/importConf.mli +++ b/lib/configuration/importConf.mli @@ -14,9 +14,5 @@ val get_table_for_name : Syntax.t -> string option -> Table.t val get_dependancies_for_table : Syntax.t -> Table.t -> Syntax.Extern.t list (** Get all the externals refered by the source *) -val print_path_expression : Path.t ImportExpression.T.t -> string - val expression_from_string : string -> (Path.t ImportExpression.T.t, string) result - -val print_extern : Syntax.Extern.t -> string -- cgit v1.2.3