projects / platform / upstream / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c65756) | patch
- also push level 1 rules on leanrt stack
authorMichael Schroeder <mls@suse.de>
Mon, 7 Jan 2008 18:51:06 +0000 (18:51 +0000)
committerMichael Schroeder <mls@suse.de>
Mon, 7 Jan 2008 18:51:06 +0000 (18:51 +0000)
commitd5e03a8114929f2bb99176636b33608cc61f65cd
tree94d0a986695de35445afe8d7a1f1be6634e0919etree | snapshot
parent5c657564e446474e17cc8453f7b3e29323c53aeacommit | diff
- also push level 1 rules on leanrt stack
- this also fixes a nasty bug where a learnt rule was
  not disabled by enabledisablelearntrules()
src/solver.c diff | blob | history
Domain: System / Base;