diff options
Diffstat (limited to 'translate/grt/config/win32.c')
| -rw-r--r-- | translate/grt/config/win32.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/translate/grt/config/win32.c b/translate/grt/config/win32.c index 6c55f7b8a..80ea2703a 100644 --- a/translate/grt/config/win32.c +++ b/translate/grt/config/win32.c @@ -148,7 +148,8 @@ void grt_stack_delete(Stack_Type Stack) { INFO("grt_stack_delete\n"); } -//------------------------------------------------------------------------------ +//---------------------------------------------------------------------------- +#ifndef WITH_GNAT_RUN_TIME void __gnat_raise_storage_error(void) { abort (); @@ -158,7 +159,8 @@ void __gnat_raise_program_error(void) { abort (); } +#endif -//------------------------------------------------------------------------------ +//---------------------------------------------------------------------------- // end of file |