diff --git a/src/management.ml b/src/management.ml index ae8750be..18118aea 100644 --- a/src/management.ml +++ b/src/management.ml @@ -2,15 +2,11 @@ open Types (* TODO - take secmod devices as param - - time stuff - hash stuff what is the hash algorithm is it hash'ed then base32'ed in xxxP? ... *) -let mk_denomination_key rsa_pub = - DenominationKey.Rsa RsaDenominationKey.{ age_mask= 0; rsa_pub } - let mk_future_denom denom_secmod_sign_f ({ section_name; @@ -27,7 +23,9 @@ let mk_future_denom denom_secmod_sign_f sign= _; } : Secmod_denom.rsa_denom) = - let denom_pub = mk_denomination_key pub in + let denom_pub = + DenominationKey.Rsa RsaDenominationKey.{ age_mask= 0; rsa_pub= pub } + in let denom_secmod_sig = let open Binary_formats in let h_denom_pub =