diff options
Diffstat (limited to 'src/keyboard.c')
| -rw-r--r-- | src/keyboard.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 1e331d078ce..48d39235e3f 100644 --- a/src/keyboard.c +++ b/src/keyboard.c @@ -11235,6 +11235,7 @@ handle_interrupt () GCPRO4 (saved.object, saved.global_code, saved.current_syntax_table, saved.old_prop); Fsignal (Qquit, Qnil); + /* FIXME: AFAIK, `quit' can never return, so this code is dead! */ gl_state = saved; UNGCPRO; } |