isl_*_eliminate: update comments to reflect recent change
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 27 Jul 2012 16:14:54 +0000 (18:14 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 27 Jul 2012 16:14:54 +0000 (18:14 +0200)
commit0f874bcc590759b70db128d85d4609df65f1981e
tree1200f4fcd8616daa69465e9f2f8df66981119025
parent27c053bd4f3f78871dce000f8d96a7cd9796b03d
isl_*_eliminate: update comments to reflect recent change

In particular, since baf22b7 (isl_*_eliminate: perform integer elimination,
Tue Apr 17 12:29:41 2012 +0200), the elimination is no longer performed
using Fourier-Motzkin (unless the input is marked rational).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c