isl_polynomial.c: substitute_div: use isl_qpolynomial_get_ctx
commit325322ab14fc02120854988aedb43dd1e47397f1
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 17 Aug 2018 08:03:00 +0000 (17 10:03 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 2 Sep 2018 15:14:53 +0000 (2 17:14 +0200)
tree5839b231de0619650c04bdfea96452900e6fc162
parent35e19963045c351048fa0c875432311e6ffc11cc
isl_polynomial.c: substitute_div: use isl_qpolynomial_get_ctx

This reduces the dependence on the internal representation.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_polynomial.c