diff options
Diffstat (limited to 'lib/bindings.ml')
| -rw-r--r-- | lib/bindings.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/bindings.ml b/lib/bindings.ml index 965d84f..6ab7aeb 100644 --- a/lib/bindings.ml +++ b/lib/bindings.ml @@ -85,7 +85,9 @@ let delete_value c_ptr path value = let new_ct = CT.delete ct path (Some value) in Root.set c_ptr new_ct; 0 (* return 0 *) - with CT.No_such_value -> 1 + with + | Vytree.Nonexistent_path -> 1 + | CT.No_such_value -> 2 let delete_node c_ptr path = let ct = Root.get c_ptr in |