1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-30 03:40:34 +02:00

Refer to provided? rather than the deprecated feature?.

This commit is contained in:
Neil Jerram 2002-10-03 22:23:43 +00:00
parent 66add4ebf5
commit 480fa28d20
3 changed files with 16 additions and 6 deletions

View file

@ -656,8 +656,8 @@ scm_compile_shell_switches (int argc, char **argv)
}
/* If debugging was requested, or we are interactive and debugging
was not explicitely turned off, turn on debugging. */
if (turn_on_debugging || (interactive && !dont_turn_on_debugging))
was not explicitly turned off, turn on debugging. */
if (turn_on_debugging || (interactive && !dont_turn_on_debugging))
{
tail = scm_cons (scm_cons (sym_turn_on_debugging, SCM_EOL), tail);
}