diff --git a/src/mte.ml b/src/mte.ml index 99d6c84b..7b566308 100644 --- a/src/mte.ml +++ b/src/mte.ml @@ -123,7 +123,11 @@ let () = Miou_unix.run @@ fun () -> let env = () in let devices = - Vif.Devices.[ Secmod_keys.signkey_device; Secmod_keys.denom_device ] + Vif.Devices. + [ + Secmod_keys.signkey_device; Secmod_keys.denom_device; + Secmod_denom.denom_device; + ] in let middlewares = Vif.Middlewares.[] in Vif.run ~cfg ~devices ~middlewares routes env