From 8140edfd59e015427c92a6ff3c73573c5cb967d5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 4 Jun 2019 12:16:22 +0200
Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines

---
 scripts/azure-pipeline.vs.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index f855a0491..05815b31f 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -1,6 +1,5 @@
 pool:
-  name: Hosted
-  demands: cmd
+  vmImage: "vs2017-win2016"
 
 
 steps: