From 2f20dd25bb03de52d91da89ca03549f64f317e8e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 12 May 2010 23:08:21 +0200 Subject: [PATCH] isl_equalities.c: fix typo in comment --- isl_equalities.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isl_equalities.c b/isl_equalities.c index 534900b..0e1faa5 100644 --- a/isl_equalities.c +++ b/isl_equalities.c @@ -249,7 +249,7 @@ error: * then we divide this row of A by the common factor, unless gcd(A_i) = 0. * In the later case, we simply drop the row (in both A and d). * - * If there are no rows left in A, the G is the identity matrix. Otherwise, + * If there are no rows left in A, then G is the identity matrix. Otherwise, * for each row i, we now determine the lattice of integer vectors * that satisfies this row. Let U_i be the unimodular extension of the * row A_i. This unimodular extension exists because gcd(A_i) = 1. -- 2.7.4