Fix comment

fix-tolerance-parameters
Sébastien Villemot 2022-05-16 15:38:29 +02:00
parent 06d05e9a8d
commit 34aa1d3bb4
No known key found for this signature in database
GPG Key ID: 2CECE9350ECEBE4A
1 changed files with 1 additions and 1 deletions

View File

@ -288,7 +288,7 @@ private:
public:
/* (component variable/expr, growth, auxname, kind, coeff. in the linear
combination, growth_param ID possibly equal to -1, vector of h parameters,
combination, growth_param ID (unused if growth is nullptr), vector of h parameters,
original_growth, growth_info) */
using target_component_t = tuple<expr_t, expr_t, string, PacTargetKind, expr_t, int, vector<int>, expr_t, growth_info_t>;