| commit | b20dcefcd958588ed32f34a9a3a12b382717cf69 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 20 Aug 2017 18:46:58 +0000 (20 20:46 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Wed, 27 Sep 2017 07:23:34 +0000 (27 09:23 +0200) | ||
| tree | b823537153428b31aa3c59d2d4413ba705e7b418 | treesnapshot (tar.gz zip) |
| parent | 7bf9e6ef151ded87b3c4fba77a479a0c84fe7ad9 | commitdiff |
isl_tab_basic_set_non_trivial_lexmin: postpone rollback until entering level
This is a minor clean-up.
In the original code, the rollback was performed while leaving
the level that backtracks to the previous level. Now it is
performed on entering that previous level.
This makes the code slightly easier to understand because
the rollback is now performed at the level that created the snapshot.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
This is a minor clean-up.
In the original code, the rollback was performed while leaving
the level that backtracks to the previous level. Now it is
performed on entering that previous level.
This makes the code slightly easier to understand because
the rollback is now performed at the level that created the snapshot.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_tab_pip.c | diffblobblamehistory |