about summary refs log tree commit diff homepage
path: root/include/klee/util
diff options
context:
space:
mode:
Diffstat (limited to 'include/klee/util')
-rw-r--r--include/klee/util/ArrayExprHash.h2
-rw-r--r--include/klee/util/BitArray.h2
-rw-r--r--include/klee/util/Bits.h2
-rw-r--r--include/klee/util/ExprEvaluator.h2
-rw-r--r--include/klee/util/ExprHashMap.h2
-rw-r--r--include/klee/util/ExprPPrinter.h2
-rw-r--r--include/klee/util/ExprRangeEvaluator.h2
-rw-r--r--include/klee/util/ExprSMTLIBPrinter.h2
-rw-r--r--include/klee/util/ExprUtil.h2
-rw-r--r--include/klee/util/ExprVisitor.h2
-rw-r--r--include/klee/util/GetElementPtrTypeIterator.h2
11 files changed, 11 insertions, 11 deletions
diff --git a/include/klee/util/ArrayExprHash.h b/include/klee/util/ArrayExprHash.h
index 43c391f5..05cb8692 100644
--- a/include/klee/util/ArrayExprHash.h
+++ b/include/klee/util/ArrayExprHash.h
@@ -136,4 +136,4 @@ void ArrayExprHash<T>::hashUpdateNodeExpr(const UpdateNode* un, T& exp)
 #undef unordered_map
 #undef unordered_set
 
-#endif
+#endif /* KLEE_ARRAYEXPRHASH_H */
diff --git a/include/klee/util/BitArray.h b/include/klee/util/BitArray.h
index caa3739e..029e130f 100644
--- a/include/klee/util/BitArray.h
+++ b/include/klee/util/BitArray.h
@@ -39,4 +39,4 @@ public:
 
 } // End klee namespace
 
-#endif
+#endif /* KLEE_BITARRAY_H */
diff --git a/include/klee/util/Bits.h b/include/klee/util/Bits.h
index bd67a501..5f64e244 100644
--- a/include/klee/util/Bits.h
+++ b/include/klee/util/Bits.h
@@ -111,4 +111,4 @@ namespace klee {
   }
 } // End klee namespace
 
-#endif
+#endif /* KLEE_BITS_H */
diff --git a/include/klee/util/ExprEvaluator.h b/include/klee/util/ExprEvaluator.h
index 313ac0a5..ed366f77 100644
--- a/include/klee/util/ExprEvaluator.h
+++ b/include/klee/util/ExprEvaluator.h
@@ -39,4 +39,4 @@ namespace klee {
   };
 }
 
-#endif
+#endif /* KLEE_EXPREVALUATOR_H */
diff --git a/include/klee/util/ExprHashMap.h b/include/klee/util/ExprHashMap.h
index 88086e7c..6477b7c9 100644
--- a/include/klee/util/ExprHashMap.h
+++ b/include/klee/util/ExprHashMap.h
@@ -59,4 +59,4 @@ namespace klee {
 #undef unordered_map
 #undef unordered_set
 
-#endif
+#endif /* KLEE_EXPRHASHMAP_H */
diff --git a/include/klee/util/ExprPPrinter.h b/include/klee/util/ExprPPrinter.h
index 622b0e80..f2537750 100644
--- a/include/klee/util/ExprPPrinter.h
+++ b/include/klee/util/ExprPPrinter.h
@@ -75,4 +75,4 @@ namespace klee {
 
 }
 
-#endif
+#endif /* KLEE_EXPRPPRINTER_H */
diff --git a/include/klee/util/ExprRangeEvaluator.h b/include/klee/util/ExprRangeEvaluator.h
index fea30b5b..b3011827 100644
--- a/include/klee/util/ExprRangeEvaluator.h
+++ b/include/klee/util/ExprRangeEvaluator.h
@@ -282,4 +282,4 @@ T ExprRangeEvaluator<T>::evaluate(const ref<Expr> &e) {
 
 }
 
-#endif
+#endif /* KLEE_EXPRRANGEEVALUATOR_H */
diff --git a/include/klee/util/ExprSMTLIBPrinter.h b/include/klee/util/ExprSMTLIBPrinter.h
index e90a49f1..cf5df1c5 100644
--- a/include/klee/util/ExprSMTLIBPrinter.h
+++ b/include/klee/util/ExprSMTLIBPrinter.h
@@ -383,4 +383,4 @@ private:
 };
 }
 
-#endif
+#endif /* KLEE_EXPRSMTLIBPRINTER_H */
diff --git a/include/klee/util/ExprUtil.h b/include/klee/util/ExprUtil.h
index 0860d0a5..88db15f0 100644
--- a/include/klee/util/ExprUtil.h
+++ b/include/klee/util/ExprUtil.h
@@ -48,4 +48,4 @@ namespace klee {
   };
 }
 
-#endif
+#endif /* KLEE_EXPRUTIL_H */
diff --git a/include/klee/util/ExprVisitor.h b/include/klee/util/ExprVisitor.h
index 1fae4505..03d4d77d 100644
--- a/include/klee/util/ExprVisitor.h
+++ b/include/klee/util/ExprVisitor.h
@@ -95,4 +95,4 @@ namespace klee {
 
 }
 
-#endif
+#endif /* KLEE_EXPRVISITOR_H */
diff --git a/include/klee/util/GetElementPtrTypeIterator.h b/include/klee/util/GetElementPtrTypeIterator.h
index b46d80cb..dfef1cfd 100644
--- a/include/klee/util/GetElementPtrTypeIterator.h
+++ b/include/klee/util/GetElementPtrTypeIterator.h
@@ -151,4 +151,4 @@ class generic_gep_type_iterator
   }
 } // end namespace klee
 
-#endif
+#endif /* KLEE_GETELEMENTPTRTYPEITERATOR_H */