bug fix

IntersectMBO · Oct 20, 2023 · 1916c47 · 1916c47
1 parent 2baa948
commit 1916c47
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/Ledger/Ratify.lagda b/src/Ledger/Ratify.lagda
@@ -231,7 +231,11 @@ restrictedDists coins rank dists = dists
         -- one always includes the other
         restrict : Credential ⇀ Coin → Credential ⇀ Coin
         restrict dist = topNDRepDist rank dist ∪ˡ mostStakeDRepDist dist coins
-
+\end{code}
+\begin{figure*}[h!]
+\begin{AgdaAlign}
+{\small
+\begin{code}
 actualPDRepVotes : GovAction → VDeleg ⇀ Vote
 actualPDRepVotes NoConfidence  =   ❴ abstainRep , Vote.abstain ❵ᵐ
                                ∪ˡ  ❴ noConfidenceRep , Vote.yes ❵ᵐ