minor change of BD element properties array check

diff --git a/src/game_bd/bd_cavedb.c b/src/game_bd/bd_cavedb.c
index bcb3f7efbec74c3020d1d3f9d6311d3070c64aa7..0c6fca7ceb5ed9cd763d90f9dfedd2aafcd89273 100644 (file)
--- a/src/game_bd/bd_cavedb.c
+++ b/src/game_bd/bd_cavedb.c
@@ -1506,7 +1506,7 @@ GdElementProperty gd_element_properties[] =
   },
 
   {
-    -1
+    O_MAX_ALL
   },
 };
 
@@ -2897,10 +2897,12 @@ void gd_cave_db_init(void)
     lowercase_names = FALSE;
 
   // check element database for faults.
-  for (i = 0; gd_element_properties[i].element != -1; i++)
+  for (i = 0; gd_element_properties[i].element != O_MAX_ALL; i++)
   {
     if (gd_element_properties[i].element != i)
-      Error("element: i:0x%x != 0x%x", i, gd_element_properties[i].element);
+      Fail("invalid element: i: 0x%x != 0x%x ['%s']", i,
+           gd_element_properties[i].element,
+           gd_element_properties[i].filename);
 
     // if it has a name, create a lowercase name (of the translated one).
     // will be used by the editor