diff options
Diffstat (limited to 'plugins/sudoers/gram.y')
-rw-r--r-- | plugins/sudoers/gram.y | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/sudoers/gram.y b/plugins/sudoers/gram.y index da7960440..66c7ccad5 100644 --- a/plugins/sudoers/gram.y +++ b/plugins/sudoers/gram.y @@ -216,14 +216,14 @@ entry : '\n' { yyerrok; } | include { - const bool success = push_include($1, false); + const bool success = push_include($1); parser_leak_remove(LEAK_PTR, $1); free($1); if (!success && !sudoers_recovery) YYERROR; } | includedir { - const bool success = push_include($1, true); + const bool success = push_includedir($1); parser_leak_remove(LEAK_PTR, $1); free($1); if (!success && !sudoers_recovery) |