summaryrefslogtreecommitdiff
path: root/src/full/Agda/Compiler/CallCompiler.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Compiler/CallCompiler.hs')
-rw-r--r--src/full/Agda/Compiler/CallCompiler.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/full/Agda/Compiler/CallCompiler.hs b/src/full/Agda/Compiler/CallCompiler.hs
index 6c3e441..2bd266f 100644
--- a/src/full/Agda/Compiler/CallCompiler.hs
+++ b/src/full/Agda/Compiler/CallCompiler.hs
@@ -75,7 +75,7 @@ callCompiler' cmd args = do
exitcode <- liftIO $ do
-- Ensure that the output has been read before waiting for the
-- process.
- E.evaluate (length errors)
+ _ <- E.evaluate (length errors)
waitForProcess p
case exitcode of