From 5169c2558fc40d37418477cbb1f58144618d9e11 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sat, 1 Aug 2009 19:51:59 +0000 Subject: Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77797 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Module/KModule.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Module/KModule.cpp') diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index eae1d2a9..78ecf4d1 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -282,7 +282,7 @@ void KModule::prepare(const Interpreter::ModuleOptions &opts, // this to be linked in, it makes low level debugging much more // annoying. llvm::sys::Path path(opts.LibraryDir); - path.appendComponent("libintrinsic.bca"); + path.appendComponent("libkleeRuntimeIntrinsic.bca"); module = linkWithLibrary(module, path.c_str()); // Needs to happen after linking (since ctors/dtors can be modified) -- cgit 1.4.1