From 888371881826cdde49b3d5e5e23893675d77abf3 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Thu, 30 May 2019 18:25:07 +0200
Subject: make endif guard naming consistent

---
 lib/Core/MemoryManager.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/Core/MemoryManager.h')

diff --git a/lib/Core/MemoryManager.h b/lib/Core/MemoryManager.h
index d7233a80..f75c82fb 100644
--- a/lib/Core/MemoryManager.h
+++ b/lib/Core/MemoryManager.h
@@ -56,4 +56,4 @@ public:
 
 } // End klee namespace
 
-#endif
+#endif /* KLEE_MEMORYMANAGER_H */
-- 
cgit 1.4.1