isl_map_simplify.c: remove_redundant_divs: update outdated comment
commitce20ef7cb736c81f391c791fdb8456d5c6e18461
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 28 May 2014 12:20:37 +0000 (28 14:20 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 3 Sep 2014 10:50:45 +0000 (3 12:50 +0200)
tree76105e65f6d5184649f376d5104055192b7f14db
parent16bd1d223c3a675f48316f22522234f0735de026
isl_map_simplify.c: remove_redundant_divs: update outdated comment

Any possible use of piplib was removed in 1bc80b1 (remove possible use of
piplib completely, Sun Jun 2 21:37:41 2013 +0200), so the original
comment no longer made sense.

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