diff options
Diffstat (limited to 'virt-ctrl/vc_mainwindow.mli')
-rw-r--r-- | virt-ctrl/vc_mainwindow.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/virt-ctrl/vc_mainwindow.mli b/virt-ctrl/vc_mainwindow.mli index 1f3a176..68843fb 100644 --- a/virt-ctrl/vc_mainwindow.mli +++ b/virt-ctrl/vc_mainwindow.mli @@ -27,4 +27,5 @@ val make : open_connection:(unit -> unit) -> pause_domain:Vc_domain_ops.dops_callback_fn -> resume_domain:Vc_domain_ops.dops_callback_fn -> shutdown_domain:Vc_domain_ops.dops_callback_fn -> + open_domain_details:Vc_domain_ops.dops_callback_fn -> unit |