diff options
Diffstat (limited to 'lang/jgnat/files/patch-sem_res.adb')
| -rw-r--r-- | lang/jgnat/files/patch-sem_res.adb | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/jgnat/files/patch-sem_res.adb b/lang/jgnat/files/patch-sem_res.adb new file mode 100644 index 00000000000..c9fabc3d040 --- /dev/null +++ b/lang/jgnat/files/patch-sem_res.adb @@ -0,0 +1,11 @@ +--- sem_res.adb.orig Fri Sep 1 10:14:00 2000 ++++ sem_res.adb Fri Feb 8 21:31:04 2002 +@@ -1460,7 +1460,7 @@ + if Present (It.Typ) then + Get_Next_Interp (I, It); + else +- exit; ++ exit Interp_Loop; + end if; + end loop Interp_Loop; + end if; |