ccadar/klee — pull request #77 by MartinNowack (2013-12-16 10:40:30+00:00)
Title: Fix use include files from used LLVM to build KLEE

Tested with LLVM 2.9 and 3.3.