From 4e3547c80b0200bda1d8f7b54fcd0e1c68bbcc26 Mon Sep 17 00:00:00 2001
From: Shuvendu Lahiri <shuvendu-lahiri@users.noreply.github.com>
Date: Fri, 10 Apr 2020 16:34:20 -0700
Subject: [PATCH] Update windows image to 2019 in build pipeline

---
 azure-pipelines.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 0d50276e..e7a8e18e 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -9,7 +9,8 @@ strategy:
     linux:
       imageName: 'ubuntu-latest'
     windows:
-      imageName: 'vs2017-win2016'
+#      imageName: 'vs2017-win2016'
+      imageName: 'windows-2019'
 #    mac:
 #     imageName: 'macos-latest'
 
@@ -46,4 +47,4 @@ steps:
     arguments: 'install --tool-path $(Build.SourcesDirectory)/Tools/ SolToBoogieTest --version 0.1.1-alpha --add-source $(Build.SourcesDirectory)/nupkg/'
 
 - pwsh: '$(Build.SourcesDirectory)/Tools/VeriSolRegressionRunner $(Build.SourcesDirectory)/Test/'
-  displayName: 'Run regression tests'
\ No newline at end of file
+  displayName: 'Run regression tests'