diff options
Diffstat (limited to 'gcc/graphite-ppl.h')
-rw-r--r-- | gcc/graphite-ppl.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/graphite-ppl.h b/gcc/graphite-ppl.h index 0ed6b34..279dcccc 100644 --- a/gcc/graphite-ppl.h +++ b/gcc/graphite-ppl.h @@ -44,8 +44,8 @@ void ppl_insert_dimensions_pointset (ppl_Pointset_Powerset_C_Polyhedron_t, int, int); void ppl_set_inhomogeneous_gmp (ppl_Linear_Expression_t, Value); void ppl_set_coef_gmp (ppl_Linear_Expression_t, ppl_dimension_type, Value); -void ppl_max_for_le (ppl_Pointset_Powerset_C_Polyhedron_t, - ppl_Linear_Expression_t, Value); +void ppl_max_for_le_pointset (ppl_Pointset_Powerset_C_Polyhedron_t, + ppl_Linear_Expression_t, Value); /* Assigns to RES the value of the INTEGER_CST T. */ |