From 78b3cfae0a9cad8fbca88a9b5ce79337c2ba01c3 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 18 Feb 2011 20:50:50 +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 d09330f..1f2ab1b 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -39,7 +39,7 @@ * then the initial sample value may be chosen equal to zero. * However, we will not make this assumption. Instead, we apply * the "big parameter" trick. Any variable x is then not directly - * used in the tableau, but instead it its represented by another + * used in the tableau, but instead it is represented by another * variable x' = M + x, where M is an arbitrarily large (positive) * value. x' is therefore always non-negative, whatever the value of x. * Taking as initial sample value x' = 0 corresponds to x = -M, -- 2.7.4