From 1aef38cd48413b8c1fa94ea42256d313cf6e58d8 Mon Sep 17 00:00:00 2001
From: Marko Dimjašević <marko@cs.utah.edu>
Date: Tue, 23 Feb 2016 23:09:28 -0700
Subject: Added missing copyright headers per klee/issue #301

---
 tools/klee-stats/klee-stats | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'tools/klee-stats')

diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 6ed772cd..93ae33d5 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -1,5 +1,15 @@
 #!/usr/bin/env python
 # -*- encoding: utf-8 -*-
+
+# ===-- klee-stats --------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 """Output statistics logged by Klee."""
 
 # use '/' to mean true division and '//' to mean floor division
-- 
cgit 1.4.1