summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Estabrook <jestabro@vyos.io>2025-09-01 17:36:30 -0500
committerJohn Estabrook <jestabro@vyos.io>2025-09-15 08:14:59 -0500
commit057dbfa3003ce842179f10e08a3aa757b36b17a2 (patch)
tree0cd4ccc5565bde40b0c138501d05040749183c72
parentb53326dce7dd2dabad2677ad82de4fcd4ea85524 (diff)
downloadvyos1x-config-057dbfa3003ce842179f10e08a3aa757b36b17a2.tar.gz
vyos1x-config-057dbfa3003ce842179f10e08a3aa757b36b17a2.zip
T7737: support for logging of vyconf cfg_op
-rw-r--r--src/config_tree.ml2
-rw-r--r--src/config_tree.mli2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/config_tree.ml b/src/config_tree.ml
index 518034f..84cfe43 100644
--- a/src/config_tree.ml
+++ b/src/config_tree.ml
@@ -1,4 +1,4 @@
-type value_behaviour = AddValue | ReplaceValue
+type value_behaviour = AddValue | ReplaceValue [@@deriving yojson]
type command = Set | Delete
exception Duplicate_value
diff --git a/src/config_tree.mli b/src/config_tree.mli
index ef65d68..fe1085c 100644
--- a/src/config_tree.mli
+++ b/src/config_tree.mli
@@ -1,4 +1,4 @@
-type value_behaviour = AddValue | ReplaceValue
+type value_behaviour = AddValue | ReplaceValue [@@deriving yojson]
type command = Set | Delete
exception Duplicate_value