From 39f39919fb4749787393e95503f9814912265a73 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 11 Dec 2024 22:04:40 +0100 Subject: Review the consistency request --- lib/configuration/importConf.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/configuration/importConf.mli') diff --git a/lib/configuration/importConf.mli b/lib/configuration/importConf.mli index 3a8ae75..be1d1d4 100644 --- a/lib/configuration/importConf.mli +++ b/lib/configuration/importConf.mli @@ -12,7 +12,7 @@ val t_of_yojson : Yojson.Safe.t -> Syntax.t val t_of_toml : Otoml.t -> (Syntax.t, string) result val get_table_for_name : Syntax.t -> string option -> Table.t -val get_dependancies_for_table : Syntax.t -> Table.t -> Syntax.extern list +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 @@ -20,4 +20,4 @@ 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 -> string +val print_extern : Syntax.Extern.t -> string -- cgit v1.2.3