summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/Properties.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 2992e2c..9c61aed 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -365,10 +365,10 @@ checkTileLayerProperty p@(Property name _value) = case name of
"silent" -> do
isBool p
uselessEmptyLayer
- "collides" ->
- unwrapBool p $ \case
- True -> pure ()
- False -> warn "property \"collides\" set to 'false' is useless."
+ -- "collides" ->
+ -- unwrapBool p $ \case
+ -- True -> pure ()
+ -- False -> warn "property \"collides\" set to 'false' is useless."
"getBadge" -> complain "\"getBadge\" must be set on an \"objectgroup\" \
\ layer; it does not work on tile layers."
"name" -> isUnsupported