diff options
Diffstat (limited to 'include')
-rw-r--r-- | include/klee/Interpreter.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/klee/Interpreter.h b/include/klee/Interpreter.h index ece84b2c..4c428994 100644 --- a/include/klee/Interpreter.h +++ b/include/klee/Interpreter.h @@ -18,6 +18,7 @@ struct KTest; namespace llvm { class Function; +class LLVMContext; class Module; class raw_ostream; class raw_fd_ostream; @@ -93,7 +94,8 @@ protected: public: virtual ~Interpreter() {} - static Interpreter *create(const InterpreterOptions &_interpreterOpts, + static Interpreter *create(llvm::LLVMContext &ctx, + const InterpreterOptions &_interpreterOpts, InterpreterHandler *ih); /// Register the module to be executed. |