Reintroduce isl_basic_set_finalize to fix test cases
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Fri, 4 Jul 2014 18:40:22 +0000 (20:40 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Fri, 4 Jul 2014 19:22:15 +0000 (21:22 +0200)
commitf933aea6fd6030396e0305dd169753a5d1c9b90e
tree9efe01df85dc4009d9c0e65a60e93aeacf2fb7b4
parent5a8e09e71168fe25cf699991936fda5094086054
Reintroduce isl_basic_set_finalize to fix test cases
pypol/_islhelper.c
pypol/domains.py