From ed3138ebdb66a5ae61042f5b9eb680fbcd5e071b Mon Sep 17 00:00:00 2001 From: Jiezhong Yang Date: Thu, 26 Oct 2023 12:31:31 -0400 Subject: [PATCH] Reformatted --- src/haz3lweb/view/CursorInspector.re | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/haz3lweb/view/CursorInspector.re b/src/haz3lweb/view/CursorInspector.re index b586e6dfe2..027b0320c4 100644 --- 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))