isl_scheduler.c: fix whitespace