Rename S'

IntersectMBO · Sep 14, 2021 · 55bbc25 · 55bbc25
1 parent 884c55d
commit 55bbc25
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/ouroboros-consensus/src/Ouroboros/Consensus/NodeKernel/Genesis.hs b/ouroboros-consensus/src/Ouroboros/Consensus/NodeKernel/Genesis.hs
@@ -142,8 +142,8 @@ prefixSelection s ne =
     -- Note that after this, *all candidates are anchored at the same point*,
     -- namely the tip of the immutable database when the most recent sync with
     -- other peers was performed.
-    s_0 :: [(AF.AnchoredFragment (Header blk), AF.FragmentCompleteness)]
-    s_0 =
+    s' :: [(AF.AnchoredFragment (Header blk), AF.FragmentCompleteness)]
+    s' =
       let
         (fragmentStartingLatest, _) =
           maximumBy (compare `on` AF.lastSlot . fst) ne
@@ -158,7 +158,7 @@ prefixSelection s ne =
 
     -- | First common prefix
     x_0 :: AF.AnchoredFragment (Header blk)
-    x_0 = findCommonPrefix s_0
+    x_0 = findCommonPrefix s'
 
     -- | Recursive algorithm
     --
@@ -173,7 +173,7 @@ prefixSelection s ne =
       let
         -- | The suffixes after the common prefix
         s_i :: [(AF.AnchoredFragment (Header blk), AF.FragmentCompleteness)]
-        s_i = findSuffixes x_i s_0
+        s_i = findSuffixes x_i s'
 
         -- | The boundaries of the genesis window
         thisWindow :: (WithOrigin SlotNo, SlotNo)