diff options
Diffstat (limited to 'src/Text/Pandoc/Filter.hs')
| -rw-r--r-- | src/Text/Pandoc/Filter.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Text/Pandoc/Filter.hs b/src/Text/Pandoc/Filter.hs index 924e4cb66..08df630ca 100644 --- a/src/Text/Pandoc/Filter.hs +++ b/src/Text/Pandoc/Filter.hs @@ -75,10 +75,10 @@ applyFilters ropts filters args d = do withMessages f action = do verbosity <- getVerbosity when (verbosity == INFO) $ report $ RunningFilter f - starttime <- toMilliseconds <$> liftIO getCPUTime + starttime <- liftIO getCPUTime res <- action - endtime <- toMilliseconds <$> liftIO getCPUTime - when (verbosity == INFO) $ report $ FilterCompleted f (endtime - starttime) + endtime <- liftIO getCPUTime + when (verbosity == INFO) $ report $ FilterCompleted f $ toMilliseconds $ endtime - starttime return res toMilliseconds picoseconds = picoseconds `div` 1000000000 |