diff options
author | stuebinm | 2021-10-01 00:25:44 +0200 |
---|---|---|
committer | stuebinm | 2021-10-01 00:26:02 +0200 |
commit | f141d99d8fa367d0151a0896613fed76c66bfab8 (patch) | |
tree | 83ef8d03d395e94d6b5821b1af90d2bc6af2ad89 /lib/CheckMap.hs | |
parent | eb214ab01fc39809e39eeb7fa701ecb765eafbae (diff) |
rename to walint
Diffstat (limited to '')
-rw-r--r-- | lib/CheckMap.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/CheckMap.hs b/lib/CheckMap.hs index 0bdfa35..8b4dca8 100644 --- a/lib/CheckMap.hs +++ b/lib/CheckMap.hs @@ -62,7 +62,7 @@ loadAndLintMap path depth = loadTiledmap path >>= pure . \case path <> ": Fatal: " <> err ] } - IOErr err -> Nothing + IOErr _ -> Nothing Loaded waMap -> Just (runLinter waMap depth) |