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"),