options.c: pick up definition of POL_INTEGER from barvinok/util.h
commitbfdae44e80d070d093d0f6f30a6e1cc45d70f94f
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 21 Sep 2006 12:32:57 +0000 (21 14:32 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 21 Sep 2006 12:32:57 +0000 (21 14:32 +0200)
treec784c8acc07b061c35e171561c87e9bdb36edb98
parent2f7cca5dfdfb75bda6b2fdbf06169770961a7f68
options.c: pick up definition of POL_INTEGER from barvinok/util.h
options.c