Fixed use of frozen literals in SatGen
authorClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 12:08:44 +0000 (13:08 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 12:08:44 +0000 (13:08 +0100)
commit97710ffad5d4750b538dac5f08b77dce37e3cda4
treeed01d47d07ea85576b8080b86223df3b1c5335ea
parent8406e7f7b6cb8e79f7df02c2c616073a51c1ea9e
Fixed use of frozen literals in SatGen
kernel/satgen.h