1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Core/ExecutionState.h b/lib/Core/ExecutionState.h
index 1a3f42e7..93ed8214 100644
--- a/lib/Core/ExecutionState.h
+++ b/lib/Core/ExecutionState.h
@@ -305,6 +305,12 @@ struct ExecutionStateIDCompare {
     return a->getID() < b->getID();
   }
 };
+
+struct ExecutionStateFormulaCompare {
+  bool operator()(const ExecutionState *a, const ExecutionState *b) const {
+    return a->formula < b->formula;
+  }
+};
 }
 
 #endif /* KLEE_EXECUTIONSTATE_H */