diff options
Diffstat (limited to 'include/klee/Internal/Support/ModuleUtil.h')
-rw-r--r-- | include/klee/Internal/Support/ModuleUtil.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/include/klee/Internal/Support/ModuleUtil.h b/include/klee/Internal/Support/ModuleUtil.h index 8c819f40..6180225c 100644 --- a/include/klee/Internal/Support/ModuleUtil.h +++ b/include/klee/Internal/Support/ModuleUtil.h @@ -70,8 +70,6 @@ bool functionEscapes(const llvm::Function *f); bool loadFile(const std::string &libraryName, llvm::LLVMContext &context, std::vector<std::unique_ptr<llvm::Module>> &modules, std::string &errorMsg); - -void checkModule(llvm::Module *m); } #endif |