diff options
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index d9e20f1e..3643c3f4 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -27,6 +27,7 @@ #include "../Expr/ArrayExprOptimizer.h" #include <map> +#include <memory> #include <set> #include <string> #include <vector> @@ -221,7 +222,7 @@ private: ArrayCache arrayCache; /// File to print executed instructions to - llvm::raw_ostream *debugInstFile; + std::unique_ptr<llvm::raw_ostream> debugInstFile; // @brief Buffer used by logBuffer std::string debugBufferString; |