isl_tab: alway free saved basis undo record
commitff9f2421cea7be2440bc08210b812b36f00c7d89
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 26 Mar 2011 17:00:26 +0000 (26 18:00 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 19 Apr 2011 12:57:23 +0000 (19 14:57 +0200)
tree48e1b490d9e9f4fd31e7c05f225a9557edd9e2fb
parentb646f4976bee81dcf378a63753704714fa9fff1d
isl_tab: alway free saved basis undo record

Before, it would only get freed if it was actually used.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab.c