diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-02 23:33:47 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-02 23:33:47 +0600 |
| commit | 7055ba6baf9fc04e326982ee31a2f840baa2a423 (patch) | |
| tree | bd7063642e23f51f88fe22424f9f8b0d1d481525 /src | |
| parent | 77edcc15e758c79eace64bc50f00775955f9bcc8 (diff) | |
| download | vyconf-7055ba6baf9fc04e326982ee31a2f840baa2a423.tar.gz vyconf-7055ba6baf9fc04e326982ee31a2f840baa2a423.zip | |
Get rid of an unnecessary type alias.
Diffstat (limited to 'src')
| -rw-r--r-- | src/vytree.ml | 6 |
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 |