X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=68831b867885fe83a7765e2716c8d07cc67f9726;hb=495dd308fe91920ea85719d8380d9cf28ee85274;hp=4032ef1263782f72b55d4841d37a9f9e5fd45e62;hpb=8a122ff2e84e0908df91e94f56b123a563592e64;p=model-checker.git

diff --git a/model.h b/model.h
index 4032ef1..68831b8 100644
--- a/model.h
+++ b/model.h
@@ -203,6 +203,10 @@ private:
 	 * together for efficiency and maintainability. */
 	struct model_snapshot_members *priv;
 
+	/** A special model-checker Thread; used for associating with
+	 *  model-checker-related ModelAcitons */
+	Thread *model_thread;
+
 	/**
 	 * @brief The modification order graph
 	 *