From b8b62695919f11dcb1901d99b52cedbc0454aa6a Mon Sep 17 00:00:00 2001
From: Emily Martins <emi@haskell.fyi>
Date: Thu, 21 Apr 2022 11:09:07 +0200
Subject: [PATCH] improve trace error message

---
 agora/Agora/AuthorityToken.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/agora/Agora/AuthorityToken.hs b/agora/Agora/AuthorityToken.hs
index 1956fb6..8239242 100644
--- a/agora/Agora/AuthorityToken.hs
+++ b/agora/Agora/AuthorityToken.hs
@@ -109,8 +109,8 @@ singleAuthorityTokenBurned gatCs txInfo mint = P.do
 
   foldr1
     (#&&)
-    [ ptraceIfFalse "GAT not burned." $ gatAmountMinted #== -1
-    , ptraceIfFalse "All inputs only have valid GATs" $
+    [ ptraceIfFalse "singleAuthorityTokenBurned: Must burn exactly 1 GAT" $ gatAmountMinted #== -1
+    , ptraceIfFalse "singleAuthorityTokenBurned: All GAT tokens must be valid at the inputs" $
         pall
           # plam
             ( \txInInfo' -> P.do