1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/coverageServer.py b/scripts/coverageServer.py
index db708545..841b8e5e 100644
--- a/scripts/coverageServer.py
+++ b/scripts/coverageServer.py
@@ -1,4 +1,14 @@
 #!/usr/bin/python
+
+# ===-- coverageServer.py -------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from flask import *
 from functools import wraps
 from subprocess import call