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/Expr/ArrayExprOptimizer.h  | 2 +-
 lib/Expr/ArrayExprVisitor.h    | 2 +-
 lib/Expr/AssignmentGenerator.h | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/Expr')

diff --git a/lib/Expr/ArrayExprOptimizer.h b/lib/Expr/ArrayExprOptimizer.h
index 25a0c2bb..8f6472a4 100644
--- a/lib/Expr/ArrayExprOptimizer.h
+++ b/lib/Expr/ArrayExprOptimizer.h
@@ -61,4 +61,4 @@ private:
 };
 } // namespace klee
 
-#endif
+#endif /* KLEE_ARRAYEXPROPTIMIZER_H */
diff --git a/lib/Expr/ArrayExprVisitor.h b/lib/Expr/ArrayExprVisitor.h
index 6b79ae8a..bfa75478 100644
--- a/lib/Expr/ArrayExprVisitor.h
+++ b/lib/Expr/ArrayExprVisitor.h
@@ -140,4 +140,4 @@ public:
 };
 } // namespace klee
 
-#endif
+#endif /* KLEE_ARRAYEXPRVISITOR_H */
diff --git a/lib/Expr/AssignmentGenerator.h b/lib/Expr/AssignmentGenerator.h
index fea1168a..3bd940e7 100644
--- a/lib/Expr/AssignmentGenerator.h
+++ b/lib/Expr/AssignmentGenerator.h
@@ -56,4 +56,4 @@ private:
 };
 } // namespace klee
 
-#endif
+#endif /* KLEE_ASSIGNMENTGENERATOR_H */
-- 
cgit 1.4.1