From 7055ba6baf9fc04e326982ee31a2f840baa2a423 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Thu, 2 Apr 2015 23:33:47 +0600
Subject: Get rid of an unnecessary type alias.

---
 src/vytree.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3