barvinok_series: remove unused variables.
[barvinok.git] / barvinok / 
tree0b39718cec3ecd0b4085e9b1f943a2ab80320a93
drwxr-xr-x   ..
-rw-r--r-- 950 barvinok.h
-rw-r--r-- 3578 evalue.h
-rw-r--r-- 1068 genfun.h
-rw-r--r-- 2636 util.h