diff options
Diffstat (limited to 'src/vytree.ml')
| -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 3c5e6ab..38f7570 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -6,8 +6,6 @@ type 'a t = { type position = Before of string | After of string | End | Default -type node_type = Leaf | Tag | Other - exception Empty_path exception Duplicate_child exception Nonexistent_path |