model: annotate SNAPSHOT for bug_message

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 3b83b569baf5c12f356aaf596023ca4fe3b3cde2..436e4681a37926db279df7726da32b02847dbc80 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -28,6 +28,8 @@ struct bug_message {
 
        char *msg;
        void print() { printf("%s", msg); }
+
+       SNAPSHOTALLOC
 };
 
 /**