1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index 6accc8e2..2ac688bd 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -34,7 +34,7 @@ namespace klee {
                                  const data_type &rightData);
     void remove(Node *n);
 
-    void dump(std::ostream &os);
+    void dump(llvm::raw_ostream &os);
   };
 
   class PTreeNode {