diff options
Diffstat (limited to 'shared/runtime/pyexec.h')
| -rw-r--r-- | shared/runtime/pyexec.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shared/runtime/pyexec.h b/shared/runtime/pyexec.h index 981e7dca9..64c5ef943 100644 --- a/shared/runtime/pyexec.h +++ b/shared/runtime/pyexec.h @@ -46,7 +46,7 @@ int pyexec_raw_repl(void); int pyexec_friendly_repl(void); int pyexec_file(const char *filename); int pyexec_file_if_exists(const char *filename); -int pyexec_frozen_module(const char *name); +int pyexec_frozen_module(const char *name, bool allow_keyboard_interrupt); void pyexec_event_repl_init(void); int pyexec_event_repl_process_char(int c); extern uint8_t pyexec_repl_active; |