diff options
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/session.ml b/src/session.ml index 1a422f7..3898abe 100644 --- a/src/session.ml +++ b/src/session.ml @@ -110,7 +110,7 @@ let exists _w s path = VT.exists s.proposed_config path let show_config _w s path fmt = - let open Vyconf_connect.Vyconf_types in + let open Vyconf_connect.Vyconf_pbt in if (path <> []) && not (VT.exists s.proposed_config path) then raise (Session_error ("Path does not exist")) else |