Fix typo
Use isl_schedule_get_ctx