From 2d544667d431d18086a2363ef923761c6e93dae5 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Thu, 2 Apr 2015 19:49:41 +0600 Subject: Remove the node type, it will be in the reference tree module. --- src/vytree.ml | 2 -- 1 file changed, 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 -- cgit v1.2.3