1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h
index 95808be1..e647d0ab 100644
--- a/include/klee/ExecutionState.h
+++ b/include/klee/ExecutionState.h
@@ -132,7 +132,7 @@ public:
   /// @brief Ordered list of symbolics: used to generate test cases.
   //
   // FIXME: Move to a shared list structure (not critical).
-  std::vector<std::pair<const MemoryObject *, const Array *> > symbolics;
+  std::vector<std::pair<ref<const MemoryObject>, const Array *>> symbolics;
 
   /// @brief Set of used array names for this state.  Used to avoid collisions.
   std::set<std::string> arrayNames;