diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-09-25 21:53:10 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-09-25 21:53:10 +0600 |
| commit | a4f204cf23f56661af2577e070bba9d9ec678343 (patch) | |
| tree | b50a5b982e3655a55aab74bcf4302ca343678546 /src/reference_tree.mli | |
| parent | 7ec843fc23f0ad28c692dd3b0c64cef37a79c5bb (diff) | |
| download | vyconf-a4f204cf23f56661af2577e070bba9d9ec678343.tar.gz vyconf-a4f204cf23f56661af2577e070bba9d9ec678343.zip | |
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.
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 4 |
1 files changed, 3 insertions, 1 deletions
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; |