From ae29deff82ad873a3dd541cb2d74d362d26f94c2 Mon Sep 17 00:00:00 2001
From: akashlal <akashl@AKASHL-LT.fareast.corp.microsoft.com>
Date: Fri, 15 Apr 2016 23:30:34 -0500
Subject: Rename DLLs to non-generic names by prefixing "Boogie". Project names
 and namespaces remain the same.

---
 Source/ModelViewer/ModelViewer.csproj | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/ModelViewer/ModelViewer.csproj')

diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj
index b6f47b00..78601afd 100644
--- a/Source/ModelViewer/ModelViewer.csproj
+++ b/Source/ModelViewer/ModelViewer.csproj
@@ -9,9 +9,9 @@
     <OutputType>Library</OutputType>
     <AppDesignerFolder>Properties</AppDesignerFolder>
     <RootNamespace>Microsoft.Boogie.ModelViewer</RootNamespace>
-    <AssemblyName>ModelViewer</AssemblyName>
+    <AssemblyName>BoogieModelViewer</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
-    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
+    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'">Client</TargetFrameworkProfile>
     <FileAlignment>512</FileAlignment>
     <PublishUrl>publish\</PublishUrl>
     <Install>true</Install>
-- 
cgit v1.2.3