ccadar/klee — pull request #94 by MartinNowack (2014-01-17 09:57:10+00:00)
Title: Fix assert library linking

I think this should fix #90.