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

Open

fniksic wants to merge 2 commits intoniklasso:masterfrom fniksic:master

+19-11

Commits on Apr 28, 2014

Removed the friend declaration of mkLit; added the default parameter to definition of mkLit.
Filip Niksic
committed
Applied changes corresponding to the following pull request: niklasso#14
Filip Niksic
committed