Merge pull request #345 from mdimjasevic/master

Added missing copyright headers per klee/issue #301

1 files changed, 9 insertions, 0 deletions

diff --git a/utils/hacks/TreeGraphs/TreeGraph.py b/utils/hacks/TreeGraphs/TreeGraph.py
index 28bd9fd6..3b4d3e96 100755
--- a/utils/hacks/TreeGraphs/TreeGraph.py
+++ b/utils/hacks/TreeGraphs/TreeGraph.py
@@ -1,5 +1,14 @@
 #!/usr/bin/python
 
+# ===-- TreeGraph.py ------------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 from __future__ import division
 import sys
 from types import GeneratorType