From e19c1194963e896683074dd738df8e3b40893922 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 14 Mar 2019 15:41:52 -0700
Subject: [PATCH] copyright

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_nuget_release.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py
index fe31dc16c..0b6f130b1 100644
--- a/scripts/mk_nuget_release.py
+++ b/scripts/mk_nuget_release.py
@@ -104,7 +104,7 @@ Z3 is a satisfiability modulo theories solver from Microsoft Research.
 Linux Dependencies:
     libgomp.so.1 installed    
         </description>
-        <copyright>Copyright Microsoft Corporation. All rights reserved.</copyright>
+        <copyright>&#169; Microsoft Corporation. All rights reserved.</copyright>
         <tags>smt constraint solver theorem prover</tags>
         <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/master/package/icon.jpg</iconUrl>
         <projectUrl>https://github.com/Z3Prover/z3</projectUrl>