From 858cdc8e4b8cfae8a4df88de63a02641a227cc70 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Fri, 19 Nov 2021 00:18:27 +0100
Subject: 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 …
---
 lib/Properties.hs | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'lib/Properties.hs')

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