review change

IntersectMBO · Aug 29, 2019 · 76d2c06 · 76d2c06
1 parent 26103d5
commit 76d2c06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shelley/chain-and-ledger/formal-spec/ledger.tex b/shelley/chain-and-ledger/formal-spec/ledger.tex
@@ -175,7 +175,7 @@ \section{Ledger State Transition}
         {
           \begin{array}{l}
             (\var{s},~\var{gkh})\mapsto\var{vkh}\in\var{curr}\\
-            \var{s}=\max\{s'~\mid~(s',~\var{gkh})\in\dom{\var{fdms}}\}
+            \var{s}=\max\{s'~\mid~(s',~\var{gkh})\in\dom{\var{curr}}\}
           \end{array}
         }
       \right\}