From f66825e37756c3dd41ab58bc704052edb8e0f08b Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@ist.utl.pt>
Date: Thu, 2 Apr 2015 08:29:56 +0100
Subject: [PATCH] add copyright header

---
 codegen.py | 14 ++++++++++++++
 gen.py     | 14 ++++++++++++++
 pretty.py  | 14 ++++++++++++++
 3 files changed, 42 insertions(+)

diff --git a/codegen.py b/codegen.py
index d876937c794..0e515120bab 100644
--- a/codegen.py
+++ b/codegen.py
@@ -1,3 +1,17 @@
+# Copyright 2014-2015 The Alive authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
 from pretty import *
 from collections import defaultdict
 
diff --git a/gen.py b/gen.py
index eda0ce238fb..1dbeaf2b8fa 100644
--- a/gen.py
+++ b/gen.py
@@ -1,3 +1,17 @@
+# Copyright 2014-2015 The Alive authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
 import argparse, glob, re, sys
 from language import *
 from precondition import *
diff --git a/pretty.py b/pretty.py
index 0a452873b98..5d3938c15c7 100644
--- a/pretty.py
+++ b/pretty.py
@@ -1,3 +1,17 @@
+# Copyright 2014-2015 The Alive authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
 '''
 Simple pretty printer.