summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorstuebinm2021-12-12 19:57:25 +0100
committerstuebinm2021-12-12 19:57:25 +0100
commitde1b45be15f8bd1a2cba3491b6d0a17aeb3c8f3d (patch)
treec4ce1ea1a9229f5c5d4842081b93b5125ab3f2ae /lib
parent31341b2ca45043c04750c7dee64fdf68ad142450 (diff)
downgrad mapCopyright lint to suggestion
(as per today's discussion with tabascoeye, mapCopyright should not be required, though I've left it as recommended)
Diffstat (limited to 'lib')
-rw-r--r--lib/Properties.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 1d01216..0bd3d55 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -73,7 +73,7 @@ checkMap = do
$ complain "The map's tile size must be 32 by 32 pixels."
unlessHasProperty "mapCopyright"
- $ complain "must give the map's copyright via the \"mapCopyright\" property."
+ $ suggest "document the map's copyright via the \"mapCopyright\" property."
-- TODO: this doesn't catch collisions with the default start layer!
whenLayerCollisions (\(Property name _) -> name == "exitUrl" || name == "startLayer")