diff options
Diffstat (limited to 'src/proto/main.pro')
| -rw-r--r-- | src/proto/main.pro | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proto/main.pro b/src/proto/main.pro index f0f9b73603..307b6063c0 100644 --- a/src/proto/main.pro +++ b/src/proto/main.pro @@ -9,6 +9,7 @@ void may_trigger_safestate(int safe); void state_no_longer_safe(char *reason); int get_was_safe_state(void); void may_trigger_safestateagain(void); +int work_pending(void); void main_loop(int cmdwin, int noexmode); void getout_preserve_modified(int exitval); void getout(int exitval); |