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): Microsoft Microsoft Z3 is a satisfiability modulo theories solver from Microsoft Research. - © Microsoft Corporation. All rights reserved. + Copyright Microsoft Corporation. All rights reserved. smt constraint solver theorem prover