niklasso/minisat — pull request #17 by fniksic (2014-04-28 08:50:18+00:00)
Title: Solution to issue #16 (illegal friend declaration of mkLit)

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.