fix some incorrect first lines

futile · Jun 4, 2019 · 9b8a54b · 9b8a54b
1 parent 8883718
commit 9b8a54b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -1,4 +1,4 @@
-//===- klee/util/GetElementPtrTypeIterator.h --------------------*- C++ -*-===//
+//===-- GetElementPtrTypeIterator.h -----------------------------*- C++ -*-===//
 //
 //                     The LLVM Compiler Infrastructure
 //

diff --git a/lib/Core/ExecutorTimerInfo.h b/lib/Core/ExecutorTimerInfo.h
@@ -1,4 +1,4 @@
-//===-- Executor.h ----------------------------------------------*- C++ -*-===//
+//===-- ExecutorTimerInfo.h -------------------------------------*- C++ -*-===//
 //
 //                     The KLEE Symbolic Virtual Machine
 //