From 3b92cc0997f0e7da658457ce5e4c5b238f9ad5fd Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Mon, 18 Nov 2024 14:24:49 -0500
Subject: [PATCH] Cursor inspector now uses typ equality as opposed to full
 structural equality

---
 src/haz3lweb/view/CursorInspector.re | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/haz3lweb/view/CursorInspector.re b/src/haz3lweb/view/CursorInspector.re
index 879b355999..37eb8a3444 100644
--- a/src/haz3lweb/view/CursorInspector.re
+++ b/src/haz3lweb/view/CursorInspector.re
@@ -117,7 +117,7 @@ let common_ok_view = (cls: Cls.t, ok: Info.ok_pat) => {
       text(":"),
       Type.view(ana),
     ]
-  | (_, Ana(Consistent({ana, syn, _}))) when ana == syn => [
+  | (_, Ana(Consistent({ana, syn, _}))) when Typ.fast_equal(ana, syn) => [
       text(":"),
       Type.view(syn),
       text("equals expected type"),