summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-12-20 13:07:49 +0100
committerstuebinm2021-12-20 13:08:48 +0100
commit5c69c3118d60ff445905201669bd48cc8d2ed909 (patch)
treeebb3e85d0c1b09ec752a4d0395a8261aeac1a404
parent5c843aec6f9aafb37cf5d166e6ae74974e773daf (diff)
something something encoding mismatch
-rw-r--r--lib/Properties.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Properties.hs b/lib/Properties.hs
index 05020f5..94cfe24 100644
--- a/lib/Properties.hs
+++ b/lib/Properties.hs
@@ -135,7 +135,7 @@ checkTileset = do
-- reject tilesets unsuitable for workadventure
unless (tilesetTilewidth tileset == 32 && tilesetTileheight tileset == 32)
- $ complain "Tilesets must have tile size 32×32."
+ $ complain "Tilesets must have tile size 32x32."
unless (tilesetImageheight tileset < 4096 && tilesetImagewidth tileset < 4096)
$ warn "Tilesets should not be larger than 4096x4096 pixels in total."