From 39b0682fbb92d2679e17d7bdceb35b78c90e4419 Mon Sep 17 00:00:00 2001
From: Ryan <mccleeary@galois.com>
Date: Wed, 10 Jul 2024 13:30:17 -0600
Subject: [PATCH] Clean up panic error message in ec_mult

---
 src/Cryptol/PrimeEC.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Cryptol/PrimeEC.hs b/src/Cryptol/PrimeEC.hs
index b72ccb06..f230a1db 100644
--- a/src/Cryptol/PrimeEC.hs
+++ b/src/Cryptol/PrimeEC.hs
@@ -294,7 +294,7 @@ ec_mult p d s
   | BN.bigNatIsZero (pz s) = zro
   | otherwise =
       case m of
-        0# -> panic "ec_mult" ["modulus too large", show (BN.bigNatToInteger (primeMod p))]
+        0# -> panic "ec_mult" ["integer with 0 width", show h]
         _  -> go m zro
 
  where