Fix warnings

hazelgrove · Oct 21, 2024 · 9a918ef · 9a918ef
1 parent b42c613
commit 9a918ef
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 =