Merge pull request #10 from akozumpl/upstream
authorMichael Schroeder <mls@suse.de>
Wed, 14 Mar 2012 10:50:20 +0000 (03:50 -0700)
committerMichael Schroeder <mls@suse.de>
Wed, 14 Mar 2012 10:50:20 +0000 (03:50 -0700)
testcase.h uses the Solver data type, include it.


Trivial merge