Another fix for a bug found using xsthammer
authorClifford Wolf <clifford@clifford.at>
Wed, 12 Jun 2013 17:09:14 +0000 (19:09 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 12 Jun 2013 17:09:14 +0000 (19:09 +0200)
commitbf2c149329b8823157a346301525e952ddf268e0
tree6c333ab532d1b4c18c5dd6831127df8b12183e6b
parent4b311b7b99f55ee4bfe43447067b177fb2f90a82
Another fix for a bug found using xsthammer
kernel/satgen.h
tests/xsthammer/generate.cc