1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/PTree.h b/lib/Core/PTree.h
index b15987d5..b13b1d67 100644
--- a/lib/Core/PTree.h
+++ b/lib/Core/PTree.h
@@ -47,4 +47,4 @@ namespace klee {
   };
 }
 
-#endif
+#endif /* KLEE_PTREE_H */