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)
commit7f844f1b8d171c1438a1caac2043c241236188f2
treef0789fbd428184a7ffd39e612422f8796eec6e68
parent9af744c2b5bd8fcb31196f3f222b14ac5e06b745
parent8cde9daab9a38c7c6ff4682904139c788b6dc64b
Merge pull request #10 from akozumpl/upstream

testcase.h uses the Solver data type, include it.