about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
-rw-r--r--include/klee/Internal/Support/PrintVersion.h2
-rw-r--r--include/klee/util/GetElementPtrTypeIterator.h2
2 files changed, 2 insertions, 2 deletions
diff --git a/include/klee/Internal/Support/PrintVersion.h b/include/klee/Internal/Support/PrintVersion.h
index 750eb133..fbd20e39 100644
--- a/include/klee/Internal/Support/PrintVersion.h
+++ b/include/klee/Internal/Support/PrintVersion.h
@@ -1,4 +1,4 @@
-//===-- Version.h -----------------------------------------------*- C++ -*-===//
+//===-- PrintVersion.h ------------------------------------------*- C++ -*-===//
 //
 //                     The KLEE Symbolic Virtual Machine
 //
diff --git a/include/klee/util/GetElementPtrTypeIterator.h b/include/klee/util/GetElementPtrTypeIterator.h
index dfef1cfd..cdbc36bc 100644
--- a/include/klee/util/GetElementPtrTypeIterator.h
+++ b/include/klee/util/GetElementPtrTypeIterator.h
@@ -1,4 +1,4 @@
-//===- klee/util/GetElementPtrTypeIterator.h --------------------*- C++ -*-===//
+//===-- GetElementPtrTypeIterator.h -----------------------------*- C++ -*-===//
 //
 //                     The LLVM Compiler Infrastructure
 //