Small cleanup in SatGen
authorClifford Wolf <clifford@clifford.at>
Fri, 27 Dec 2013 14:15:20 +0000 (15:15 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 27 Dec 2013 14:18:14 +0000 (15:18 +0100)
commit0f5ab7649e4496b1923cad6f093c735a2350fdc8
treedb2050071b076ae576b7f988b2794666b47ad63d
parentc9699fe76deb13209d61af461d9ce850a5113c8d
Small cleanup in SatGen
kernel/satgen.h