No need for linebreak.

diku-dk · Aug 29, 2024 · 2e38554 · 2e38554
1 parent 438e4f0
commit 2e38554
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/Futhark/CLI/Test.hs b/src/Futhark/CLI/Test.hs
@@ -596,8 +596,7 @@ runTests config paths = do
                         { testStatusRemain = test `delete` testStatusRemain ts,
                           testStatusRun = test `delete` testStatusRun ts,
                           testStatusRunsRemain =
-                            testStatusRunsRemain ts
-                              - numTestCases test
+                            testStatusRunsRemain ts - numTestCases test
                         }
                 case res of
                   Success -> do