C pretty-printer: Enable definition of each external parameter value.
commit99fa297bf58893541008dfd33fc859ce1f43c87c
authorLouis-Noel Pouchet <loulou@clara.futurs.inria.fr>
Tue, 26 Jun 2007 11:46:02 +0000 (26 13:46 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 27 Jun 2007 08:30:28 +0000 (27 10:30 +0200)
tree1d285b3fd1ef1319a45cbaefb0973e9fde3f3cac
parent27c793a6cd9779ddf6ef70a9c98ea1736bf57d8f
C pretty-printer: Enable definition of each external parameter value.

Instead of defining a single value for all parameters (set with
PARVAL), enable to define one value per parameter, for a finer
granularity. PARVAL is replaced by PARVALXXX where XXX goes from 1 to
nb_parameters.
source/program.c