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 /AUTHORS | |
| 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 'AUTHORS')
0 files changed, 0 insertions, 0 deletions