Generalize frontend, part I

hazelgrove · Feb 13, 2024 · 129fcf2 · 129fcf2
1 parent 493cdc7
commit 129fcf2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lweb/view/CursorInspector.re b/src/haz3lweb/view/CursorInspector.re
@@ -175,7 +175,7 @@ let rec exp_view = (cls: Term.Cls.t, status: Info.status_exp) =>
     | None => div_err([text("Case expression is inexhaustive")])
     | Some(err) =>
       div_err([
-        exp_view(Exp(Match), InHole(Common(err))),
+        exp_view(cls, InHole(Common(err))),
         text("; case expression is inexhaustive"),
       ])
     }