Reverse the output of txgov

src/Ledger/Ledger.lagda

@@ -43,7 +43,7 @@ record LState : Set where
         certState  : CertState
 
 txgov : TxBody → List (GovVote ⊎ GovProposal)
-txgov txb = map inj₁ txvote ++ map inj₂ txprop
+txgov txb = reverse $ map inj₁ txvote ++ map inj₂ txprop
   where open TxBody txb
 \end{code}
 \caption{Types and functions for the LEDGER transition system}