diff options
Diffstat (limited to 'src/session.mli')
| -rw-r--r-- | src/session.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/session.mli b/src/session.mli index f59ea7b..9670edd 100644 --- a/src/session.mli +++ b/src/session.mli @@ -40,4 +40,4 @@ val list_children : world -> session_data -> string list -> string list val string_of_op : cfg_op -> string -val show_config : world -> session_data -> string list -> Vyconf_types.request_config_format -> string +val show_config : world -> session_data -> string list -> Vyconf_connect.Vyconf_types.request_config_format -> string |