diff options
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/config/win32.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/config/win32.c b/src/grt/config/win32.c index f9d669e..869c7ca 100644 --- a/src/grt/config/win32.c +++ b/src/grt/config/win32.c @@ -35,6 +35,7 @@ static jmp_buf run_env; extern void grt_overflow_error (void); extern void grt_null_access_error (void); +void __ghdl_maybe_return_via_longjump (int val); static EXCEPTION_DISPOSITION ghdl_SEH_handler (struct _EXCEPTION_RECORD* ExceptionRecord, |