evalue_isl.c: isl_qpolynomial_from_evalue: use isl_val

[barvinok.git] / .gitmodules

[submodule "polylib"]
        path = polylib
        url = git://repo.or.cz/polylib.git
[submodule "isl"]
        path = isl
        url = git://repo.or.cz/isl.git
[submodule "pet"]
        path = pet
        url = git://repo.or.cz/pet.git