ChangeLogTag: Wed Oct 12 08:33:12 UTC 2005 Johnny Willemsen <jwillemsen@remedy.nl>

1 files changed, 1 insertions, 1 deletions

diff --git a/bin/fuzz.pl b/bin/fuzz.pl
index ed0187fe140..b05f09d9fd6 100755
--- a/bin/fuzz.pl
+++ b/bin/fuzz.pl
@@ -1373,7 +1373,7 @@ check_for_mismatched_filename () if ($opt_l >= 2);
 check_for_bad_run_test () if ($opt_l >= 6);
 check_for_absolute_ace_wrappers () if ($opt_l >= 3);
 check_for_bad_ace_trace () if ($opt_l >= 4);
-check_for_missing_rir_env () if ($opt_l >= 5);
+check_for_missing_rir_env () if ($opt_l >= 6);
 check_for_ace_check () if ($opt_l >= 6);
 check_for_changelog_errors () if ($opt_l >= 4);
 check_for_ptr_arith_t () if ($opt_l >= 4);