1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/CoreStats.h b/lib/Core/CoreStats.h
index 09845a89..42e81de7 100644
--- a/lib/Core/CoreStats.h
+++ b/lib/Core/CoreStats.h
@@ -50,4 +50,4 @@ namespace stats {
 }
 }
 
-#endif
+#endif /* KLEE_CORESTATS_H */