From bfcc1cc2e78b30953db46fc6034dc19083e1768b Mon Sep 17 00:00:00 2001 From: swrup Date: Fri, 20 Feb 2026 08:28:50 +0100 Subject: [PATCH] --- src/secmod_eddsa.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/secmod_eddsa.ml b/src/secmod_eddsa.ml index 15922916..7db483e0 100644 --- a/src/secmod_eddsa.ml +++ b/src/secmod_eddsa.ml @@ -165,9 +165,9 @@ let t = (* - sign - - verify - expose future_sk list - purge + - revoke - schedule tasks - !lock