X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=bugmessage.h;h=eda457e069d008e7303e1a1d168d06a105ef31db;hb=c0e05b3952fa7190116fdc1df124bc6fa5804027;hp=bd7d0b68e891eb57004fb4d59a9d344505c33cd8;hpb=53a04a6ac7cbbf37880effe033704143bd6aaaaf;p=c11tester.git

diff --git a/bugmessage.h b/bugmessage.h
index bd7d0b68..eda457e0 100644
--- a/bugmessage.h
+++ b/bugmessage.h
@@ -10,7 +10,7 @@ struct bug_message {
 		msg = (char *)snapshot_malloc(strlen(fmt) + strlen(str));
 		sprintf(msg, fmt, str);
 	}
-	~bug_message() { if (msg) snapshot_free(msg); }
+	~bug_message() { if (msg) snapshot_free(msg);}
 
 	char *msg;
 	void print() { model_print("%s", msg); }
@@ -18,4 +18,4 @@ struct bug_message {
 	SNAPSHOTALLOC
 };
 
-#endif /* __BUGMESSAGE_H__ */
+#endif	/* __BUGMESSAGE_H__ */