diff --git a/src/denom.ml b/src/denomination.ml similarity index 100% rename from src/denom.ml rename to src/denomination.ml diff --git a/src/devices.ml b/src/devices.ml index 236f584a..9b7f698c 100644 --- a/src/devices.ml +++ b/src/devices.ml @@ -9,7 +9,7 @@ let denom_key = Secmod_keys.make ~name:"denom_key" let denominations = let finally _key = () in Vif.Device.v ~name:"denominations" ~finally [] @@ fun () -> - let rsa_l = List.map Denom.make Config.coins in + let rsa_l = List.map Denomination.make Config.coins in rsa_l let l = Vif.Devices.[ signkey; online_key; denom_key; denominations ] diff --git a/src/management.ml b/src/management.ml index c19158b1..a6fe951f 100644 --- a/src/management.ml +++ b/src/management.ml @@ -16,7 +16,7 @@ let mk_future_denom denom_key_signf pub; sign= _; } : - Denom.t) = + Denomination.t) = let denom_pub = DenominationKey.Rsa RsaDenominationKey.{ age_mask= 0; rsa_pub= pub } in