Vmmd_tls_inetd: remove unused open Vmm_cli
This commit is contained in:
parent
d30e118c76
commit
25ca62bf69
|
@ -26,7 +26,6 @@ let jump cacert cert priv_key =
|
||||||
`Ok ()
|
`Ok ()
|
||||||
|
|
||||||
open Cmdliner
|
open Cmdliner
|
||||||
open Vmm_cli
|
|
||||||
|
|
||||||
let cmd =
|
let cmd =
|
||||||
Term.(ret (const jump $ cacert $ cert $ key)),
|
Term.(ret (const jump $ cacert $ cert $ key)),
|
||||||
|
|
Loading…
Reference in a new issue