From cdcdb923355e89881690bc0b4c0b9471e9d9f3f1 Mon Sep 17 00:00:00 2001
From: Akash Lal <akashl@microsoft.com>
Date: Thu, 16 Aug 2018 17:15:32 +0530
Subject: [PATCH] Updated to 1.3.9

---
 Build/version.props                                        | 2 +-
 Scripts/NuGet/PSharp.nuspec                                | 4 ++--
 Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Build/version.props b/Build/version.props
index 1324a7d01..f39e5d621 100644
--- a/Build/version.props
+++ b/Build/version.props
@@ -1,7 +1,7 @@
 <!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix.  -->
 <Project>
   <PropertyGroup>
-    <VersionPrefix>1.3.8</VersionPrefix>
+    <VersionPrefix>1.3.9</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>
diff --git a/Scripts/NuGet/PSharp.nuspec b/Scripts/NuGet/PSharp.nuspec
index 34ba55b8d..caa1b66d3 100644
--- a/Scripts/NuGet/PSharp.nuspec
+++ b/Scripts/NuGet/PSharp.nuspec
@@ -2,13 +2,13 @@
 <package >
   <metadata>
     <id>Microsoft.PSharp</id>
-    <version>1.3.8</version>
+    <version>1.3.9</version>
     <authors>Microsoft</authors>
     <licenseUrl>https://github.com/p-org/PSharp/blob/master/LICENSE.txt</licenseUrl>
     <projectUrl>https://github.com/p-org/PSharp</projectUrl>
     <requireLicenseAcceptance>false</requireLicenseAcceptance>
     <description>The P# language, runtime and testing infrastructure.</description>
-    <releaseNotes>This release contains the 1.3.8 version of the P# language, runtime and testing infrastructure.</releaseNotes>
+    <releaseNotes>This release contains the 1.3.9 version of the P# language, runtime and testing infrastructure.</releaseNotes>
     <copyright>© Microsoft Corporation. All rights reserved.</copyright>
     <tags>asynchrony testing .NET programming actors state-machines</tags>
   </metadata>
diff --git a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs b/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
index d2821cdd0..48e72b5de 100644
--- a/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
+++ b/Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs
@@ -52,5 +52,5 @@
 // You can specify all the values or you can default the Build and Revision Numbers
 // by using the '*' as shown below:
 // [assembly: AssemblyVersion("1.0.*")]
-[assembly: AssemblyVersion("1.3.7.8")]
-[assembly: AssemblyFileVersion("1.3.8.0")]
+[assembly: AssemblyVersion("1.3.7.9")]
+[assembly: AssemblyFileVersion("1.3.9.0")]