isl_scheduler.c: setup_lp: rename "dim" variable to "space"
[isl.git] / include / 
tree1c357a5041867f50991587c6341c93006c789e3e
drwxr-xr-x   ..
drwxr-xr-x - isl