diff --git a/lib/Properties.hs b/lib/Properties.hs
index 2992e2cf5c8ec227818b5c9d9dc90b7806863161..9c61aedc282948cf6da99a3e957aa55eb2c7b25b 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