From b934d098bedebc09c352e470c9b8c6712849b1de Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Fri, 5 Apr 2013 11:39:00 +0000
Subject: Fixed error that I introduced by mistake in the last commit (thanks
 again to Michael Contreras)

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178863 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Module/Optimize.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp
index d05002fe..6da9a2c1 100644
--- a/lib/Module/Optimize.cpp
+++ b/lib/Module/Optimize.cpp
@@ -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
-- 
cgit 1.4.1