1 files changed, 12 insertions, 0 deletions
diff --git a/src/xact.h b/src/xact.h
index 407eed57..a3c639b9 100644
--- a/src/xact.h
+++ b/src/xact.h
@@ -150,6 +150,17 @@ public:
 
   std::map<string, bool> memoized_results;
 
+  enum xact_expr_kind_t {
+    EXPR_GENERAL,
+    EXPR_ASSERTION,
+    EXPR_CHECK
+  };
+
+  typedef std::pair<expr_t, xact_expr_kind_t> check_expr_pair;
+  typedef std::list<check_expr_pair>          check_expr_list;
+
+  optional<check_expr_list> check_exprs;
+
   struct deferred_tag_data_t {
     string   tag_data;
     bool     overwrite_existing;
@@ -205,6 +216,7 @@ private:
   void serialize(Archive& ar, const unsigned int /* version */) {
     ar & boost::serialization::base_object<xact_base_t>(*this);
     ar & predicate;
+    ar & check_exprs;
     ar & deferred_notes;
   }
 #endif // HAVE_BOOST_SERIALIZATION