Removed $predict support from SatGen
authorClifford Wolf <clifford@clifford.at>
Wed, 27 Jul 2016 13:44:11 +0000 (15:44 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 27 Jul 2016 13:44:11 +0000 (15:44 +0200)
commit9540be1d45cce45d0008a4160bc4aa70ff0dfe1d
tree5c0c44ef35f70a243fd4a3a64bce4607f7d3515f
parent40563129872f5a2287f54cb0dbd79534b493a5d6
Removed $predict support from SatGen
kernel/satgen.h