From 62f14d357b2d2910e95d01b4c65ebefd57c4f240 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 3 Feb 2011 16:39:49 +0100 Subject: [PATCH] isl_tab_pip.c: fix typo in comment Signed-off-by: Sven Verdoolaege --- isl_tab_pip.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index f9f700e..401d475 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -4251,7 +4251,7 @@ static __isl_give isl_map *basic_map_partial_lexopt( * * a x >= -u >= -b_i(p) * - * Moreover, m = min_i(b_i(p)) satisfied the constraints on u and can + * Moreover, m = min_i(b_i(p)) satisfies the constraints on u and can * therefore be plugged into the solution. */ static __isl_give isl_map *basic_map_partial_lexopt_symm( -- 2.7.4