summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/vytree.ml6
1 files changed, 2 insertions, 4 deletions
diff --git a/src/vytree.ml b/src/vytree.ml
index 8cc6fc5..a439ec1 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -1,11 +1,9 @@
-type 'a vyconf_tree = {
+type 'a t = {
name: string;
data: 'a;
- children: 'a vyconf_tree list
+ children: 'a t list
}
-type 'a t = 'a vyconf_tree
-
type position = Before of string | After of string | Default
exception Empty_path