merge

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index f562c0f1ea30a0d04e8682f19de5fd5d4b485426..2edf12a8c790d95f4ef56b18812220861cec4f7b 100644 (file)
--- a/history.h
+++ b/history.h
@@ -50,4 +50,4 @@ private:
        HashSet<void *, uintptr_t, 4, model_malloc, model_calloc, model_free> write_locations;
 };
 
-#endif /* __HISTORY_H__ */
+#endif /* __HISTORY_H__ */