From e0068e406509022d1befdf02dd7990d0a0787764 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 10 Jun 2015 12:01:47 -0700 Subject: [PATCH] C/right on python scripts Signed-off-by: Nikolaj Bjorner --- doc/mk_api_doc.py | 2 ++ examples/python/example.py | 2 ++ 2 files changed, 4 insertions(+) diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py index 1b498fb19..e45f56134 100644 --- a/doc/mk_api_doc.py +++ b/doc/mk_api_doc.py @@ -1,3 +1,5 @@ +# Copyright (c) Microsoft Corporation 2015 + import os import shutil import re diff --git a/examples/python/example.py b/examples/python/example.py index 879c17c43..e0c9374e7 100644 --- a/examples/python/example.py +++ b/examples/python/example.py @@ -1,3 +1,5 @@ +# Copyright (c) Microsoft Corporation 2015 + from z3 import * x = Real('x')