diff options
Diffstat (limited to 'Command/Map.hs')
| -rw-r--r-- | Command/Map.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Command/Map.hs b/Command/Map.hs index 7bb435ff8..940db54c8 100644 --- a/Command/Map.hs +++ b/Command/Map.hs @@ -175,6 +175,7 @@ scan r = do showEndOk return r' Nothing -> do + showProgress showEndFail return r |