verify.h: move barvinok_options into verify_options
commit91549d75f2d1f17701f3e820a26372065bf3c772
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 14 Feb 2007 12:16:27 +0000 (14 13:16 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 14 Feb 2007 12:16:27 +0000 (14 13:16 +0100)
treef9c40a9f8c8c299ad16063893388f9583ca6696d
parentb37ee7abac8b50ac8ec25c54a45608da48ced9a5
verify.h: move barvinok_options into verify_options
barvinok_enumerate.cc
barvinok_enumerate_e.cc
verify.h