isl_qpolynomial_lift: fix lifting in absence of divs
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 12 Jun 2010 19:00:51 +0000 (21:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 12 Jun 2010 19:00:51 +0000 (21:00 +0200)
commitf6f8ac8fa68ebe512d317b967085e83eee84c644
treeda50f6782af08335d54f4fc00ef0862c001038dc
parent7790c83aff93eb8352bd37e340c7ff9956315b8b
isl_qpolynomial_lift: fix lifting in absence of divs

If there are no divs, then we still need to modify the (zero row)
div matrix to make sure that the number of columns remains consistent.
isl_polynomial.c