From 6a9c8a8999449439ec589ff9f6ee781151ee9d59 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 14 Nov 2018 19:40:56 -0800
Subject: [PATCH] remove spurious string

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 1ac9abd0f..9c5b0c9a9 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2436,7 +2436,7 @@ class DotNetExampleComponent(ExampleComponent):
             else:
                 platform = 'x86'
 
-            dotnet_proj_str = """xemacs<Project Sdk="Microsoft.NET.Sdk">
+            dotnet_proj_str = """<Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <OutputType>Exe</OutputType>
     <TargetFramework>netcoreapp2.0</TargetFramework>