From 8f61659374999b3943a8014336c36b7537049055 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 09:20:10 -0700
Subject: [PATCH] missing argument

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index f7c7d1acf..007c1b558 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -11,7 +11,7 @@ steps:
   inputs:
     secureFile: 'z3.snk'
 
-- script: scripts\vsts-vs2017.cmd    
+- script: scripts\vsts-vs2017.cmd x64
 
 - script: scripts\vsts-vs2013.cmd