From 25ca62bf6900f07bc50a662a7dd7a93f66c5669e Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 20 Jan 2019 20:32:16 +0100 Subject: [PATCH] Vmmd_tls_inetd: remove unused open Vmm_cli --- app/vmmd_tls_inetd.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/app/vmmd_tls_inetd.ml b/app/vmmd_tls_inetd.ml index 4bf2e01..84be655 100644 --- a/app/vmmd_tls_inetd.ml +++ b/app/vmmd_tls_inetd.ml @@ -26,7 +26,6 @@ let jump cacert cert priv_key = `Ok () open Cmdliner -open Vmm_cli let cmd = Term.(ret (const jump $ cacert $ cert $ key)),