From 88cca944fa1788d4f3089c9f93c59666bfcce1fb Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Thu, 15 Dec 2016 09:56:07 +0600 Subject: T212: use a directory (normally $program_dir/validators) for external validators. What's bad is that right now way too many things are aware of the nature of external validators, and the validators dir (formerly validators hashtable) is passed around a lot. We'll need to think it through. --- src/reference_tree.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/reference_tree.mli') diff --git a/src/reference_tree.mli b/src/reference_tree.mli index bffebad..f0d7807 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -20,6 +20,6 @@ val default_data : ref_node_data val load_from_xml : t -> string -> t -val validate_path : (string, string) Hashtbl.t -> t -> string list -> string list * string option +val validate_path : string -> t -> string list -> string list * string option val is_multi : t -> string list -> bool -- cgit v1.2.3