diff options
Diffstat (limited to 'src/config_tree.mli')
| -rw-r--r-- | src/config_tree.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/config_tree.mli b/src/config_tree.mli index 2c463cb..4da734e 100644 --- a/src/config_tree.mli +++ b/src/config_tree.mli @@ -8,9 +8,9 @@ type config_node_data = { comment : string option; inactive : bool; ephemeral : bool; -} +} [@@deriving yojson] -type t = config_node_data Vytree.t +type t = config_node_data Vytree.t [@@deriving yojson] val default_data : config_node_data |