fix testcase
authorMichael Andres <ma@suse.de>
Thu, 29 Mar 2012 09:50:08 +0000 (11:50 +0200)
committerMichael Andres <ma@suse.de>
Thu, 29 Mar 2012 09:50:08 +0000 (11:50 +0200)
commit8da471299d52ef6b2be95bfd6c8541e4db09ef85
tree48a2048df91276cd65da5d87cde2d4b5a9f4803e
parent31b57109122df7bb327ba410d3c40d316e308cf7
fix testcase
tests/sat/SolvParsing_test.cc