This commit is contained in:
swrup 2025-10-17 15:25:56 +02:00
parent 7abb18742f
commit 332d072daf

View file

@ -53,7 +53,7 @@ let mk_future_denom denom_secmod_sign_f
|> |>
(* TODO sig type *) (* TODO sig type *)
(* Signature by the denomination security module (* Signature by the denomination security module
not this denomination rsa signature *) (not this denomination rsa signature) *)
denom_secmod_sign_f denom_secmod_sign_f
in in
FutureDenom. FutureDenom.