1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/klee-control b/scripts/klee-control
index 50c1f82d..2f111524 100755
--- a/scripts/klee-control
+++ b/scripts/klee-control
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- klee-control ------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import os, signal, popen2
 
 def getPID(dir):