isl_basic_map_solve_lp: use denominator
[isl.git] / include / 
tree72476e01fc76edd3d5f1f3ae06a1a84ea2795846
drwxr-xr-x   ..
drwxr-xr-x - isl