isl_tab_min: read off all information from tableau before rollback
commitf80ad554b5f83d490789b54c7089a440a0aa79cb
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 8 Aug 2009 18:08:16 +0000 (8 20:08 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 9 Aug 2009 14:19:41 +0000 (9 16:19 +0200)
tree12a89bc7814c4c440c4e08926f19bf2e8b4494e0
parent93c3a33b16a896b32fd09396f149be0bdab71665
isl_tab_min: read off all information from tableau before rollback

As it happens, the rollback has little effect in this case and
the information is still available, but we shouldn't depend on this.
isl_tab.c