diff options
Diffstat (limited to 'src/full/Agda/Compiler/CallCompiler.hs')
-rw-r--r-- | src/full/Agda/Compiler/CallCompiler.hs | 2 |
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 |