diff options
Diffstat (limited to 'gcc/ada/gcc-interface/gigi.h')
| -rw-r--r-- | gcc/ada/gcc-interface/gigi.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/ada/gcc-interface/gigi.h b/gcc/ada/gcc-interface/gigi.h index 28bf938..1d0d2fb 100644 --- a/gcc/ada/gcc-interface/gigi.h +++ b/gcc/ada/gcc-interface/gigi.h @@ -255,8 +255,6 @@ extern void gigi (Node_Id gnat_root, int max_gnat_node, Entity_Id standard_exception_type, Int gigi_operating_mode); -extern void set_flag_debug_instances (int); - #ifdef __cplusplus } #endif |