Fix a wmllint crash

wesnoth · May 28, 2014 · 21f3a01 · 21f3a01
1 parent 8d54407
commit 21f3a01
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/data/tools/wmllint b/data/tools/wmllint
@@ -1761,6 +1761,7 @@ def consistency_check():
                 if not base in usage:
                     print '"%s", line %d: %s has unknown base %s' % \
                               (filename, rl, rtype, base)
+                    continue
                 else:
                     utype = usage[base]
                 utypes.append(utype)