Lints

CQCL · Nov 25, 2024 · 42e299d · 42e299d
1 parent d69bb99
commit 42e299d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/brat/Brat/Checker.hs b/brat/Brat/Checker.hs
@@ -731,7 +731,7 @@ checkBody fnName body cty = do
     NoLhs tm -> pure (tm, (fcOf tm, fcOf tm))
     Clauses (c :| cs) -> do
       fc <- req AskFC
-      pure $ (WC fc (Lambda c cs), (bimap fcOf fcOf c))
+      pure (WC fc (Lambda c cs), bimap fcOf fcOf c)
     Undefined -> err (InternalError "Checking undefined clause")
   ((src, _), _) <- makeBox (fnName ++ ".box") cty $ \conns@(_, unders) -> do
     (((), ()), leftovers) <- check tm conns