diff options
| -rw-r--r-- | src/util.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util.ml b/src/util.ml index f8c3c27..b45f011 100644 --- a/src/util.ml +++ b/src/util.ml @@ -18,5 +18,5 @@ let string_of_path path = | x :: xs' -> aux xs' (Printf.sprintf "%s %s" acc x) in match path with - | [] -> "[]" - | x :: xs -> Printf.sprintf "[%s%s]" x (aux xs "") + | [] -> "" + | x :: xs -> Printf.sprintf "%s%s" x (aux xs "") |