summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-04-02 19:49:41 +0600
committerDaniil Baturin <daniil@baturin.org>2015-04-02 19:49:41 +0600
commit2d544667d431d18086a2363ef923761c6e93dae5 (patch)
tree2123cce0aec1829629c0f622ae864ef2d335d478
parentaed10315b97f770e07bf1acbf2f4cb7aa64b81ae (diff)
downloadvyconf-2d544667d431d18086a2363ef923761c6e93dae5.tar.gz
vyconf-2d544667d431d18086a2363ef923761c6e93dae5.zip
Remove the node type, it will be in the reference tree module.
-rw-r--r--src/vytree.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/vytree.ml b/src/vytree.ml
index ed1a23e..16cb379 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -6,8 +6,6 @@ type 'a vyconf_tree = {
type 'a t = 'a vyconf_tree
-type node_type = Tag | Leaf | Other
-
type position = Before of string | After of string | Default
exception Empty_path