added command line option to dump level set info

[rocksndiamonds.git] / src / main.h

diff --git a/src/main.h b/src/main.h
index 1f679aa03b9387d288ea5b4c0d4f6c53768c63de..9d02a4fb1e0ae849d6c119ebdfe0cc46b2f291c9 100644 (file)
--- a/src/main.h
+++ b/src/main.h
@@ -3884,6 +3884,8 @@ struct GlobalInfo
   char *convert_leveldir;
   int convert_level_nr;
 
+  char *dumplevelset_leveldir;
+
   char *dumplevel_leveldir;
   int dumplevel_level_nr;