barvinok_options: rename emptiness_check to lexmin_emptiness_check
commitdc14459a59e427f0a946abc76ceff89aaf260e8e
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 27 Oct 2006 16:02:52 +0000 (27 18:02 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 27 Oct 2006 16:02:52 +0000 (27 18:02 +0200)
tree7fb769c533a4ab00f4d88b63faeb3ba6792ede8c
parent7d35f40bffa668315e88a03bf6918a9fbfebace3
barvinok_options: rename emptiness_check to lexmin_emptiness_check
barvinok/options.h
lexmin.cc
options.c