From 598965187aec7cd3cc1f9d2f2e6fbb0efdfc3451 Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Fri, 23 Aug 2024 10:03:28 -0400
Subject: [PATCH] Remove parens in weak_head_normalize

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

diff --git a/src/haz3lcore/lang/term/Typ.re b/src/haz3lcore/lang/term/Typ.re
index 18d6e66284..5dc0b73aaa 100644
--- a/src/haz3lcore/lang/term/Typ.re
+++ b/src/haz3lcore/lang/term/Typ.re
@@ -326,6 +326,7 @@ let is_consistent = (ctx: Ctx.t, ty1: t, ty2: t): bool =>
 
 let rec weak_head_normalize = (ctx: Ctx.t, ty: t): t =>
   switch (term_of(ty)) {
+  | Parens(t) => weak_head_normalize(ctx, t)
   | Var(x) =>
     switch (Ctx.lookup_alias(ctx, x)) {
     | Some(ty) => weak_head_normalize(ctx, ty)