summaryrefslogtreecommitdiff
path: root/lib/Properties.hs
diff options
context:
space:
mode:
authorstuebinm2021-11-19 00:18:27 +0100
committerstuebinm2021-11-19 00:18:27 +0100
commit858cdc8e4b8cfae8a4df88de63a02641a227cc70 (patch)
tree0a7db5175f9a71e4e1cd5ef3968978a3de49ddb0 /lib/Properties.hs
parentd2078f17fe1dad747cc2f14380517bb8402e1347 (diff)
deal with group layers
I have no idea why these even exist, but apparently they do, so here's some code to deal with them in a hopefully useful manner …
Diffstat (limited to '')
-rw-r--r--lib/Properties.hs5
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 2928152..9f995b0 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -121,11 +121,6 @@ checkLayer = do
ty -> unless (layerName layer == "floorLayer" && ty == "objectgroup")
$ complain "only tilelayer are supported."
- case layerLayers layer of
- Nothing -> pure ()
- Just _ -> complain "walint doesn't support grouplayers for now"
-
-
-- | Checks a single (custom) property of a layer
--