summaryrefslogtreecommitdiff
path: root/src/session.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/session.ml')
-rw-r--r--src/session.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/session.ml b/src/session.ml
index 8cfe355..c1f0bcc 100644
--- a/src/session.ml
+++ b/src/session.ml
@@ -102,7 +102,6 @@ let set w s path =
{s with proposed_config=config; changeset=(op :: s.changeset)}
let delete w s path =
- let _ = validate w s path in
let path, value = split_path w s path in
let op = CfgDelete (path, value) in
let config = apply_cfg_op op s.proposed_config in