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'