small changes
[c11tester.git] / bugmessage.h
index bd7d0b68e891eb57004fb4d59a9d344505c33cd8..eda457e069d008e7303e1a1d168d06a105ef31db 100644 (file)
@@ -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__ */