Reformatted

hazelgrove · Oct 26, 2023 · ed3138e · ed3138e
1 parent df04be9
commit ed3138e
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/haz3lweb/view/CursorInspector.re b/src/haz3lweb/view/CursorInspector.re
@@ -181,10 +181,7 @@ let rec pat_view = (cls: Term.Cls.t, status: Info.status_pat) =>
     switch (additional_err) {
     | None => div_err([text("Pattern is redundant")])
     | Some(err) =>
-      div_err([
-        pat_view(cls, InHole(err)),
-        text("; pattern is redundant"),
-      ])
+      div_err([pat_view(cls, InHole(err)), text("; pattern is redundant")])
     }
   | InHole(Common(error)) => div_err(common_err_view(cls, error))
   | NotInHole(ok) => div_ok(common_ok_view(cls, ok))