diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-02 19:49:41 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-02 19:49:41 +0600 |
| commit | 2d544667d431d18086a2363ef923761c6e93dae5 (patch) | |
| tree | 2123cce0aec1829629c0f622ae864ef2d335d478 /src | |
| parent | aed10315b97f770e07bf1acbf2f4cb7aa64b81ae (diff) | |
| download | vyconf-2d544667d431d18086a2363ef923761c6e93dae5.tar.gz vyconf-2d544667d431d18086a2363ef923761c6e93dae5.zip | |
Remove the node type, it will be in the reference tree module.
Diffstat (limited to 'src')
| -rw-r--r-- | src/vytree.ml | 2 |
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 |