Labeled tuple element to labeled tuple item

hazelgrove · Feb 7, 2025 · ec6ad7e · ec6ad7e
1 parent 7b5b473
commit ec6ad7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"