Commit ad34d105 by Arnaud Charlet

Minor reformatting.

Update header.

From-SVN: r101075
parent ab5a0988
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
* * * *
* C Implementation File * * C Implementation File *
* * * *
* Copyright (C) 1992-2003, Free Software Foundation, Inc. * * Copyright (C) 1992-2005, Free Software Foundation, Inc. *
* * * *
* GNAT is free software; you can redistribute it and/or modify it under * * GNAT is free software; you can redistribute it and/or modify it under *
* terms of the GNU General Public License as published by the Free Soft- * * terms of the GNU General Public License as published by the Free Soft- *
......
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
-- -- -- --
-- S p e c -- -- S p e c --
-- -- -- --
-- Copyright (C) 2000-2003 Ada Core Technologies, Inc. -- -- Copyright (C) 2000-2005 Ada Core Technologies, Inc. --
-- -- -- --
-- GNAT is free software; you can redistribute it and/or modify it under -- -- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- -- -- terms of the GNU General Public License as published by the Free Soft- --
...@@ -203,9 +203,7 @@ package GNAT.Dynamic_Tables is ...@@ -203,9 +203,7 @@ package GNAT.Dynamic_Tables is
-- to return False). The sort is not stable (the order of equal items -- to return False). The sort is not stable (the order of equal items
-- in the table is not preserved). -- in the table is not preserved).
private private
type Table_Private is record type Table_Private is record
Max : Integer; Max : Integer;
-- Subscript of the maximum entry in the currently allocated table -- Subscript of the maximum entry in the currently allocated table
...@@ -215,7 +213,7 @@ private ...@@ -215,7 +213,7 @@ private
-- ensures that we initially allocate the table. -- ensures that we initially allocate the table.
Last_Val : Integer; Last_Val : Integer;
-- Current value of Last. -- Current value of Last
end record; end record;
end GNAT.Dynamic_Tables; end GNAT.Dynamic_Tables;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment