From 4c6ca0896087eb81b1f19a253df4b03c985f8c13 Mon Sep 17 00:00:00 2001
From: Ivan Nikulin <ivan.nikulin@vk.team>
Date: Sat, 8 Jun 2024 17:33:45 +0300
Subject: [PATCH] Corrected a tipo in retrieve redemption record algorithm.

Replaced redemptionTimes map with redemptionRecords.
---
 spec.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec.bs b/spec.bs
index 284fad9..eeb8872 100644
--- a/spec.bs
+++ b/spec.bs
@@ -405,8 +405,8 @@ To <dfn>record a redemption record</dfn> given an [=/origin=] |issuer|, an [=/or
 To <dfn>retrieve a redemption record</dfn> given an [=/origin=] |issuer| and an [=/origin=] |topLevel|, run the following steps:
 
 1. Let |currentTime| be the current date and time in milliseconds since 01 January, 1970 UTC.
-1. If [=redemptionTimes=][(|issuer|,|topLevel|)] [=map/exists|does not exist=], return null.
-1. Let (|record|, |expiration|, |signingKeys|) be [=redemptionTimes=][(|issuer|,|topLevel|)].
+1. If [=redemptionRecords=][(|issuer|,|topLevel|)] [=map/exists|does not exist=], return null.
+1. Let (|record|, |expiration|, |signingKeys|) be [=redemptionRecords=][(|issuer|,|topLevel|)].
 1. If |expiration| is less than |currentTime|, return null.
 1. Let |currentSigningKeys| be the result of [=look up the latest keys|looking up of the latest keys=] for |issuer|.
 1. If |currentSigningKeys| does not equal |signingKeys|, return null.