polysign_isl.c: extract_inequalities: use isl_val

[barvinok.git] / initcdd.cc

#include "initcdd.h"

int bv_cdd_initialized = 0;