more changes towards locks

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 4fc32c6db6c2800d2bdf705d7a8b256683968bab..54f302684fc092b7226fa5a1d0988b536962d236 100644 (file)
--- a/model.h
+++ b/model.h
@@ -177,6 +177,8 @@ private:
         * together for efficiency and maintainability. */
        struct model_snapshot_members *priv;
 
+       bool * is_enabled;
+
        /**
         * @brief The modification order graph
         *