barvinok_options: include pointer to barvinok_stats instead of structure itself
commit89a69cc9cd0ee7421e5978f0af0b5f9994e67435
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 6 Feb 2007 20:53:58 +0000 (6 21:53 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 6 Feb 2007 20:53:58 +0000 (6 21:53 +0100)
treece55c20cdbd572cd26733d2e6a2edd7c309fc7ba
parentb8268db1e306b635a8de97a3d48e30c8e960c018
barvinok_options: include pointer to barvinok_stats instead of structure itself

We don't want barvinok_options to depend on the size of barvinok_stats.
barvinok/options.h
barvinok_count.c
barvinok_enumerate.cc
decomposer.cc
options.c