diff options
author | Timo Teräs <timo.teras@iki.fi> | 2011-09-22 13:09:23 +0300 |
---|---|---|
committer | Timo Teräs <timo.teras@iki.fi> | 2011-09-22 13:09:23 +0300 |
commit | 012bcbe41c045a00e112608fe9dac4097d90dc1e (patch) | |
tree | 1d592909307ff64007c59e28e70d02814636ce0a /test | |
parent | 78a372464b3dabb1a84279fe5fde9542bd2431f3 (diff) | |
download | apk-tools-012bcbe41c045a00e112608fe9dac4097d90dc1e.tar.gz apk-tools-012bcbe41c045a00e112608fe9dac4097d90dc1e.tar.bz2 apk-tools-012bcbe41c045a00e112608fe9dac4097d90dc1e.tar.xz apk-tools-012bcbe41c045a00e112608fe9dac4097d90dc1e.zip |
solver: fix backtracking
We need to refresh all name states after backtracking as options
that were excluding due to topology ordering might have become
available.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions