From 057dbfa3003ce842179f10e08a3aa757b36b17a2 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 1 Sep 2025 17:36:30 -0500 Subject: T7737: support for logging of vyconf cfg_op --- src/config_tree.ml | 2 +- src/config_tree.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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 -- cgit v1.2.3