Merge branch 'NetHack-3.6.2'

This commit is contained in:
nhmall
2018-11-10 15:09:41 -05:00
25 changed files with 278 additions and 74 deletions

View File

@@ -397,7 +397,7 @@ boolean resuming;
continue;
}
if (iflags.sanity_check)
if (iflags.sanity_check || iflags.debug_fuzzer)
sanity_check();
#ifdef CLIPPING