isl_coalesce.c: fix typo in comment
[isl.git] / test_inputs / application.omega
blob8f4fd1db39a07cfd6f51ce5810cf79ad06633591
1 {[x]}
2 {[x] -> [y] : y = 2x}
3 {[y]: Exists ( alpha : 2alpha = y)}