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/Solver/ConstantDivision.h | 2 +-
 lib/Solver/STPBuilder.h       | 2 +-
 lib/Solver/Z3Builder.h        | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/Solver')

diff --git a/lib/Solver/ConstantDivision.h b/lib/Solver/ConstantDivision.h
index 3b3a2799..23d61740 100644
--- a/lib/Solver/ConstantDivision.h
+++ b/lib/Solver/ConstantDivision.h
@@ -48,4 +48,4 @@ void ComputeSDivConstants32(int32_t d, int32_t &mprime, int32_t &dsign,
 
 }
 
-#endif
+#endif /* KLEE_CONSTANTDIVISION_H */
diff --git a/lib/Solver/STPBuilder.h b/lib/Solver/STPBuilder.h
index f4b2ffc6..cb163384 100644
--- a/lib/Solver/STPBuilder.h
+++ b/lib/Solver/STPBuilder.h
@@ -128,4 +128,4 @@ public:
 
 }
 
-#endif
+#endif /* KLEE_STPBUILDER_H */
diff --git a/lib/Solver/Z3Builder.h b/lib/Solver/Z3Builder.h
index 7057176e..efbf4f9a 100644
--- a/lib/Solver/Z3Builder.h
+++ b/lib/Solver/Z3Builder.h
@@ -190,4 +190,4 @@ public:
 };
 }
 
-#endif
+#endif /* KLEE_Z3BUILDER_H */
-- 
cgit 1.4.1