1 files changed, 6 insertions, 5 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index a179c66d..870e5801 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -354,11 +354,12 @@ private:
                    
   // do address resolution / object binding / out of bounds checking
   // and perform the operation
-  void executeMemoryOperation(ExecutionState &state,
-                              bool isWrite,
-                              ref<Expr> address,
-                              ref<Expr> value /* undef if read */,
-                              KInstruction *target /* undef if write */);
+  ref<Expr> executeMemoryOperation(ExecutionState &state,
+                                   bool isWrite,
+                                   ref<Expr> address,
+                                   ref<Expr> value /* undef if read */,
+                                   KInstruction *target,
+                                   Expr::Width type = Expr::InvalidWidth);
 
   void executeMakeSymbolic(ExecutionState &state, const MemoryObject *mo,
                            const std::string &name);