X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=436e4681a37926db279df7726da32b02847dbc80;hp=3b83b569baf5c12f356aaf596023ca4fe3b3cde2;hb=292b21b394ca03ca659c83f92bfeaea9ffb7ef80;hpb=029af23cb3196ffdd986497d2c45a938af526362

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