| OLD | NEW |
| 1 -- Copyright 2007-2012 Free Software Foundation, Inc. | 1 -- Copyright 2007-2013 Free Software Foundation, Inc. |
| 2 -- | 2 -- |
| 3 -- This program is free software; you can redistribute it and/or modify | 3 -- This program is free software; you can redistribute it and/or modify |
| 4 -- it under the terms of the GNU General Public License as published by | 4 -- it under the terms of the GNU General Public License as published by |
| 5 -- the Free Software Foundation; either version 3 of the License, or | 5 -- the Free Software Foundation; either version 3 of the License, or |
| 6 -- (at your option) any later version. | 6 -- (at your option) any later version. |
| 7 -- | 7 -- |
| 8 -- This program is distributed in the hope that it will be useful, | 8 -- This program is distributed in the hope that it will be useful, |
| 9 -- but WITHOUT ANY WARRANTY; without even the implied warranty of | 9 -- but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 10 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | 10 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 11 -- GNU General Public License for more details. | 11 -- GNU General Public License for more details. |
| (...skipping 22 matching lines...) Expand all Loading... |
| 34 pragma Assert (False); -- SPOT3 | 34 pragma Assert (False); -- SPOT3 |
| 35 null; | 35 null; |
| 36 exception | 36 exception |
| 37 when others => | 37 when others => |
| 38 null; | 38 null; |
| 39 end; | 39 end; |
| 40 | 40 |
| 41 raise Constraint_Error; -- SPOT4 | 41 raise Constraint_Error; -- SPOT4 |
| 42 | 42 |
| 43 end Foo; | 43 end Foo; |
| OLD | NEW |