diff options
| -rw-r--r-- | lib/Properties.hs | 8 |
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 |