isl_basic_map_drop_div: drop removal of constraints involving div
isl_basic_map_drop_div: drop removal of constraints involving div

This removal is no longer needed now that remove_redundant_divs
calls isl_basic_map_drop_constraints_involving before dropping
the integer division.

Signed-off-by: Sven Verdoolaege <235c10dd23b819f81cdc9756a251746bc184cab6@gmail.com>

Meinersbur/isl,Meinersbur/isl,Meinersbur/isl,Meinersbur/isl