From c976492c4c344336c653be61d22c5f80ce854a41 Mon Sep 17 00:00:00 2001
From: tabascoeye <tabascoeye@gmail.com>
Date: Tue, 28 Dec 2021 23:21:55 +0000
Subject: [PATCH] Update CheckMap.hs to make missing back link to lobby an
 ERROR

---
 lib/CheckMap.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/CheckMap.hs b/lib/CheckMap.hs
index 2677a30..04f3f75 100644
--- a/lib/CheckMap.hs
+++ b/lib/CheckMap.hs
@@ -93,7 +93,7 @@ runLinter isMain config tiledmap depth = MapResult
   { mapresultLayer = invertThing layer
   , mapresultTileset = invertThing tileset
   , mapresultGeneral =
-    ([Hint Warning "main.json should link back to the lobby" | isMain && not (any linksLobby layerDeps)])
+    ([Hint Error "main.json should link back to the lobby" | isMain && not (any linksLobby layerDeps)])
     <> lintsToHints (resultToLints generalResult)
   , mapresultDepends = resultToDeps generalResult
     <> layerDeps
-- 
GitLab