basis_reduction_cdd: check for possibly incorrect output from cddlib 0.94d
commit781f206366bab27081006e9a1c4223ca5cd1a61b
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Oct 2007 21:37:50 +0000 (22 23:37 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 25 Oct 2007 18:12:25 +0000 (25 20:12 +0200)
tree9909990617a507e21bee74bde8f2e4cb0e381a44
parent161325bca0b9a101a7aaa7f00880c54e0b9ce724
basis_reduction_cdd: check for possibly incorrect output from cddlib 0.94d

Unfortunately, we don't have a way to correct the output at this point.
basis_reduction_cdd.cc