refmt

hazelgrove · Feb 7, 2025 · 655eb49 · 655eb49
1 parent c691d45
commit 655eb49
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/haz3lweb/app/inspector/CursorInspector.re b/src/haz3lweb/app/inspector/CursorInspector.re
@@ -139,9 +139,7 @@ let common_err_view =
         view_any(label),
       ]
     | NoType(FreeConstructor(name)) => [code(name), text("not found")]
-    | NoType(WantTuple) => [
-        text("Requires tuple for first argument"),
-      ]
+    | NoType(WantTuple) => [text("Requires tuple for first argument")]
     | NoType(LabelNotFound(name, labels)) => [
         text("Label "),
         code(name),