From 13d1ccfeaf9463f73740a964a9ab0ee042897ee9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 14 Nov 2018 14:59:53 -0800
Subject: [PATCH] update for nuget/core

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

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index bd455b95e..2662d0933 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1890,7 +1890,7 @@ class DotNetCoreDLLComponent(Component):
     <Authors>Microsoft</Authors>
     <Company>Microsoft</Company>
     <Description>Z3 is a satisfiability modulo theories solver from Microsoft Research.</Description>
-    <Copyright>© Microsoft Corporation. All rights reserved.</Copyright>
+    <Copyright>Copyright Microsoft Corporation. All rights reserved.</Copyright>
     <PackageTags>smt constraint solver theorem prover</PackageTags>
   </PropertyGroup>