aboutsummaryrefslogtreecommitdiff
path: root/gcc/graphite-ppl.h
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/graphite-ppl.h')
-rw-r--r--gcc/graphite-ppl.h4
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. */