[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee] r178863 - Fixed error that I introduced by mistake in the last commit (thanks 
From:       cristic () cs ! stanford ! edu (Cristian Cadar)
Date:       2013-04-05 11:39:01
Message-ID: 20130405113901.337EA2A6C029 () llvm ! org
[Download RAW message or body]

Author: cristic
Date: Fri Apr  5 06:39:00 2013
New Revision: 178863

URL: http://llvm.org/viewvc/llvm-project?rev=178863&view=rev
Log:
Fixed error that I introduced by mistake in the last commit (thanks again to Michael \
Contreras)

Modified:
    klee/trunk/lib/Module/Optimize.cpp

Modified: klee/trunk/lib/Module/Optimize.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Module/Optimize.cpp?rev=178863&r1=178862&r2=178863&view=diff
 ==============================================================================
--- klee/trunk/lib/Module/Optimize.cpp (original)
+++ klee/trunk/lib/Module/Optimize.cpp Fri Apr  5 06:39:00 2013
@@ -199,7 +199,7 @@ void Optimize(Module* M) {
     // internal.
     if (!DisableInternalize) {
 #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 2)
-      ModulePass *pass = \
createInternalizePass(createInternalizePass(std::vector<const char *>(1, "main")); +  \
ModulePass *pass = createInternalizePass(std::vector<const char *>(1, "main"));  \
#else  ModulePass *pass = createInternalizePass(true);
 #endif


[prev in list] [next in list] [prev in thread] [next in thread] 

Configure | About | News | Add a list | Sponsored by KoreLogic