model: replace list type with action_list_t

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index eb50d371e2e1694c2d4494467a1bf7325524b925..fd6e6c234f1c4d55e9a9a17ac652484f28be53b2 100644 (file)
--- a/model.h
+++ b/model.h
@@ -163,7 +163,7 @@ private:
         * This structure maps its lists by object location. Each ModelAction
         * in the lists should be an acquire operation.
         */
-       HashTable<void *, std::list<ModelAction *>, uintptr_t, 4> *lazy_sync_with_release;
+       HashTable<void *, action_list_t, uintptr_t, 4> *lazy_sync_with_release;
 
        /**
         * Represents the total size of the