From 332d072daf7b0e3f8ad1e78082536f89b510e80a Mon Sep 17 00:00:00 2001 From: swrup Date: Fri, 17 Oct 2025 15:25:56 +0200 Subject: [PATCH] --- src/management.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/management.ml b/src/management.ml index 742bf952..cbc4a510 100644 --- a/src/management.ml +++ b/src/management.ml @@ -53,7 +53,7 @@ let mk_future_denom denom_secmod_sign_f |> (* TODO sig type *) (* Signature by the denomination security module - not this denomination rsa signature *) + (not this denomination rsa signature) *) denom_secmod_sign_f in FutureDenom.