Remove check that MIR beneficiaries exist when cert is posted

We will filter out any non-registered stake credential at the reward update time anyway.
IntersectMBO · Nov 5, 2019 · ada20ab · ada20ab
1 parent ada1e53
commit ada20ab
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/shelley/chain-and-ledger/formal-spec/delegation.tex b/shelley/chain-and-ledger/formal-spec/delegation.tex
@@ -568,7 +568,6 @@ \subsection{Delegation Rules}
   \begin{equation}\label{eq:deleg-mir}
     \inference[Deleg-Mir]
     {
-      \dom{(\fun{moveRewards}~\var{c})} \subseteq \dom{stkCreds} \\
       \var{c}\in \DCertMir\\
       slot < \fun{firstSlot}((\fun{epoch}~\var{s} + 1)) - \fun{SlotsPrior}\\
       \left(