isl_map_simplify.c: uset_gist_full: drop redundant isl_basic_set_simplify call
[isl.git] / test_inputs / set.omega
blobac8485fb9a4eee36e59e59c2c8611b55dbea956b
1 {[y]: Exists ( alpha : 2alpha = y)}