diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/config_tree.ml | 2 | ||||
| -rw-r--r-- | src/config_tree.mli | 2 |
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 |