From 292b21b394ca03ca659c83f92bfeaea9ffb7ef80 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 15 Nov 2012 18:01:31 -0800
Subject: [PATCH] model: annotate SNAPSHOT for bug_message

Since we use operator new with bug_message, it needs to be marked
SNAPSHOTALLOC.
---
 model.cc | 2 ++
 1 file changed, 2 insertions(+)

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
 };
 
 /**
-- 
2.34.1