fixed bug (that may cause a crash) with wrong type of config option

diff --git a/src/files.c b/src/files.c
index ac73db93f8faf2337d1cba0f3e8e268b998478cc..df4887a079f8e681f270f62860887c807269e54a 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -8216,7 +8216,7 @@ static struct TokenInfo internal_setup_tokens[] =
   { TYPE_STRING, &sxi.fallback_sounds_file,    "fallback_sounds_file"  },
   { TYPE_STRING, &sxi.fallback_music_file,     "fallback_music_file"   },
   { TYPE_STRING, &sxi.default_level_series,    "default_level_series"  },
-  { TYPE_STRING, &sxi.choose_from_top_leveldir,        "choose_from_top_leveldir" },
+  { TYPE_BOOLEAN,&sxi.choose_from_top_leveldir,        "choose_from_top_leveldir" },
 };
 
 static struct TokenInfo options_setup_tokens[] =