1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Core/ObjectHolder.h b/lib/Core/ObjectHolder.h
index abf2c6f0..cd6c6281 100644
--- a/lib/Core/ObjectHolder.h
+++ b/lib/Core/ObjectHolder.h
@@ -29,5 +29,4 @@ namespace klee {
   };
 }
 
-#endif
-
+#endif /* KLEE_OBJECTHOLDER_H */