From a4f204cf23f56661af2577e070bba9d9ec678343 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 25 Sep 2015 21:53:10 +0600 Subject: Move the node_type type to Reference_tree It shall not be used by Config_tree, so there is no reason to keep it there. --- src/reference_tree.mli | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/reference_tree.mli') diff --git a/src/reference_tree.mli b/src/reference_tree.mli index c24b6f2..bffebad 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -1,5 +1,7 @@ +type node_type = Leaf | Tag | Other + type ref_node_data = { - node_type: Vytree.node_type; + node_type: node_type; constraints: (Value_checker.value_constraint list); help: string; value_help: (string * string) list; -- cgit v1.2.3