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

---
 utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py')

diff --git a/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py b/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
index d310c20a..9e97a943 100644
--- a/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
+++ b/utils/hacks/TreeGraphs/Graphics/Geometry/Intersect2D.py
@@ -1,3 +1,12 @@
+# ===-- Intersect2D.py ----------------------------------------------------===##
+# 
+#                      The KLEE Symbolic Virtual Machine
+# 
+#  This file is distributed under the University of Illinois Open Source
+#  License. See LICENSE.TXT for details.
+# 
+# ===----------------------------------------------------------------------===##
+
 import vec2, math
 
 def intersectLineCircle((p, no), (C, r)):
-- 
cgit 1.4.1