From 507eb7978865e06e8247a62137cd6e06c6549811 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 13 Mar 2023 19:31:52 +0100
Subject: [PATCH] consistent indexing

---
 tests/TypingImpls.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/TypingImpls.idr b/tests/TypingImpls.idr
index 98a60c3..26c4e3b 100644
--- a/tests/TypingImpls.idr
+++ b/tests/TypingImpls.idr
@@ -42,7 +42,7 @@ PrettyHL q => ToInfo (Error q) where
      ("set", show $ SortedSet.toList ts)]
   toInfo (BadCaseQtys qouts) =
     ("type", "BadCaseQtys") ::
-    [(show i, prettyStr True q) | (i, q) <- zip [0 .. length qouts] qouts]
+    [(show i, prettyStr True q) | (i, q) <- zip [1 .. length qouts] qouts]
 
   toInfo (ClashT mode ty s t) =
     [("type",  "ClashT"),