Solution to issue #16 (illegal friend declaration of mkLit)

niklasso / minisat

A minimalistic and high-performance SAT solver

minisat.se

Other

1.02k stars 390 forks source link

Solution to issue #16 (illegal friend declaration of mkLit) #17

Open fniksic opened 10 years ago

fniksic commented 10 years ago

This patch resolves issue #16.

Basically, the friend declaration of mkLit is not needed, as mkLit can already access field x.

The specification of default value for the sign is moved to the definition of mkLit.

sstewart2012 commented 8 years ago

This fix does not appear to have been merged into niklasso:master. I'm using Mac OS X 10.11.1, Apple LLVM version 7.0.0 (clang-700.1.76). [The fix appears to work, which I implemented manually based on this issue.]

Gu1nness commented 5 years ago

This would be excellent to have this PR merged, for now this project does not compile anymore without this PR. Could you please merge it?