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

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__ */