diff options
Diffstat (limited to 'Src/input.c')
-rw-r--r-- | Src/input.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Src/input.c b/Src/input.c index e712ad19a..08ad4eb87 100644 --- a/Src/input.c +++ b/Src/input.c @@ -549,3 +549,17 @@ inpop(void) inpoptop(); } while (remcont); } + +/* + * Expunge any aliases from the input stack; they shouldn't appear + * in the history and need to be flushed explicitly when we encounter + * an error. + */ + +/**/ +void +inpopalias(void) +{ + while (inbufflags & INP_ALIAS) + inpoptop(); +} |