From 1144f4b4aa4dbe9522a64aaec0f8488c5f2c62e3 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Thu, 16 Dec 2021 03:29:22 +0100
Subject: "collides" can't be set on layers

---
 lib/Properties.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/Properties.hs')

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
-- 
cgit v1.2.3