1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp
index 72c1b67f..69bbd6e3 100644
--- a/lib/Core/MemoryManager.cpp
+++ b/lib/Core/MemoryManager.cpp
@@ -31,7 +31,8 @@ MemoryManager::~MemoryManager() {
   }
 }
 
-MemoryObject *MemoryManager::allocate(uint64_t size, bool isLocal, bool isGlobal,
+MemoryObject *MemoryManager::allocate(uint64_t size, bool isLocal, 
+                                      bool isGlobal,
                                       const llvm::Value *allocSite) {
   if (size>10*1024*1024) {
     klee_warning_once(0, "failing large alloc: %u bytes", (unsigned) size);