klee/klee — pull request #117 by MartinNowack (2014-04-22 06:50:39+00:00)
Title: Change std::ostreams to llvm::raw_os_stream

Several changes to remove std:ostreams support
and instead relying on raw_ostream from LLVM.

Furthermore:
* removed "using namespace std"
* minor cleanup of includes