From ec6ad7ea19a55491e9986bd970af35da993657a8 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Fri, 7 Feb 2025 11:42:46 -0500
Subject: [PATCH] Labeled tuple element to labeled tuple item

---
 src/haz3lcore/lang/term/Typ.re | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/haz3lcore/lang/term/Typ.re b/src/haz3lcore/lang/term/Typ.re
index fa48fe1235..f2fb937962 100644
--- a/src/haz3lcore/lang/term/Typ.re
+++ b/src/haz3lcore/lang/term/Typ.re
@@ -105,7 +105,7 @@ let show_cls: cls => string =
   | List => "List type"
   | Arrow => "Function type"
   | Prod => "Tuple type"
-  | TupLabel => "Labeled element type"
+  | TupLabel => "Labeled tuple item type"
   | Sum => "Sum type"
   | Parens => "Parenthesized type"
   | Ap => "Constructor application"