about summary refs log tree commit diff homepage
path: root/lib/Basic
diff options
context:
space:
mode:
authorMarko Dimjašević <marko@cs.utah.edu>2016-02-23 23:09:28 -0700
committerMarko Dimjašević <marko@cs.utah.edu>2016-02-23 23:09:28 -0700
commit1aef38cd48413b8c1fa94ea42256d313cf6e58d8 (patch)
tree048d599c9fe1125d4e81057e58ec5203ee1c326c /lib/Basic
parentf76b6c5fe0ce8920ee6edb13802f857dae49e785 (diff)
downloadklee-1aef38cd48413b8c1fa94ea42256d313cf6e58d8.tar.gz
Added missing copyright headers per klee/issue #301
Diffstat (limited to 'lib/Basic')
-rw-r--r--lib/Basic/CmdLineOptions.cpp9
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index 70ee736e..dcc1b238 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -1,3 +1,12 @@
+//===-- CmdLineOptions.cpp --------------------------------------*- C++ -*-===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * This file groups command line options definitions and associated
  * data that are common to both KLEE and Kleaver.