From 9a918effcb59dcb63ac136f28241af6aa96d3603 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Mon, 21 Oct 2024 16:15:22 -0400
Subject: [PATCH] Fix warnings

---
 src/haz3lcore/statics/TermBase.re | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/haz3lcore/statics/TermBase.re b/src/haz3lcore/statics/TermBase.re
index 8bbdba094..5bd1708bf 100644
--- a/src/haz3lcore/statics/TermBase.re
+++ b/src/haz3lcore/statics/TermBase.re
@@ -808,8 +808,8 @@ and Typ: {
     | (_, Parens(t2)) => eq_internal(n, t1, t2)
     | (TupLabel(label1, t1'), TupLabel(label2, t2')) =>
       eq_internal(n, label1, label2) && eq_internal(n, t1', t2')
-    | (TupLabel(_, t1), _) => false // TODO Verify this
-    | (_, TupLabel(_, t2)) => false
+    | (TupLabel(_, _), _) => false // TODO Verify this
+    | (_, TupLabel(_, _)) => false
     | (Rec(x1, t1), Rec(x2, t2))
     | (Forall(x1, t1), Forall(x2, t2)) =>
       let alpha_subst =