projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f0303e) | patch
[Ada] Functional_Vectors: remove default value for max size
authorClaire Dross <dross@adacore.com>
Tue, 9 Oct 2018 15:05:39 +0000 (15:05 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 9 Oct 2018 15:05:39 +0000 (15:05 +0000)
commitead467895da700cb029103ba3dda1089dbf77b1f
treee2a336f02ed352354c4ebae2a4cfac26967ebebbtree
parent8f0303e751226c85f3556bda0d19091ceef61a6acommit | diff
[Ada] Functional_Vectors: remove default value for max size

2018-10-09  Claire Dross  <dross@adacore.com>

gcc/ada/

* libgnat/a-cfinve.ads: Remove default value for
Max_Size_In_Storage_Elements as it was not supported in SPARK.

From-SVN: r264969
gcc/ada/ChangeLog diff | blob | history
gcc/ada/libgnat/a-cfinve.ads diff | blob | history