summaryrefslogtreecommitdiff
path: root/src/reference_tree.ml
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2018-02-11 09:57:53 +0700
committerDaniil Baturin <daniil@baturin.org>2018-02-11 09:57:53 +0700
commit18ce7932e3dba76305dda202b3181763e54c4a50 (patch)
tree415245ce1be6bbebfd5fea25038621d561678ee1 /src/reference_tree.ml
parentcc95beb520981f0ed855d739a523675932907662 (diff)
downloadvyconf-18ce7932e3dba76305dda202b3181763e54c4a50.tar.gz
vyconf-18ce7932e3dba76305dda202b3181763e54c4a50.zip
Rename Util.string_of_path to string_of_list since it can be used for any lists,
not just config tree paths. Add analogous function for converting a list of strings to JSON.
Diffstat (limited to 'src/reference_tree.ml')
-rw-r--r--src/reference_tree.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/reference_tree.ml b/src/reference_tree.ml
index 6f1a9c9..8c8e515 100644
--- a/src/reference_tree.ml
+++ b/src/reference_tree.ml
@@ -155,7 +155,7 @@ let has_illegal_characters name =
in the reference tree
*)
let rec validate_path validators_dir node path =
- let show_path p = Printf.sprintf "[%s]" @@ Util.string_of_path (List.rev p) in
+ let show_path p = Printf.sprintf "[%s]" @@ Util.string_of_list (List.rev p) in
let rec aux node path acc =
let data = Vytree.data_of_node node in
match data.node_type with