| commit | 1b4a708d0ab403ceee93ef417575c400a4ad32a4 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 May 2016 09:50:45 +0000 (2 09:50 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 2 May 2016 09:50:45 +0000 (2 09:50 +0000) | ||
| tree | 0c4f8091760e29293c1b82c6c11da42360a8fea7 | treesnapshot (tar.gz zip) |
| parent | c8f4da7fd8e73ce676fe8bb450976f07dd8e1066 | commitdiff |
2016-05-02 Yannick Moy <moy@adacore.com>
* a-tigeli.adb (Get_Line): Always set Last prior to returning.
2016-05-02 Yannick Moy <moy@adacore.com>
* lib-xref.adb: Minor style fix in whitespace of declarations.
* put_spark_xrefs.adb (Put_SPARK_Xrefs): printing of strings
refactored without loops.
* put_spark_xrefs.ads (Write_Info_Str): new formal argument of
generic procedure.
* spark_xrefs.adb (Write_Info_Str): new actual in instantiation
of generic procedure.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235728 138bc75d-0d04-0410-961f-82ee72b054a4
* a-tigeli.adb (Get_Line): Always set Last prior to returning.
2016-05-02 Yannick Moy <moy@adacore.com>
* lib-xref.adb: Minor style fix in whitespace of declarations.
* put_spark_xrefs.adb (Put_SPARK_Xrefs): printing of strings
refactored without loops.
* put_spark_xrefs.ads (Write_Info_Str): new formal argument of
generic procedure.
* spark_xrefs.adb (Write_Info_Str): new actual in instantiation
of generic procedure.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235728 138bc75d-0d04-0410-961f-82ee72b054a4