From d1719ee605cd0371bdf72432406fb6a7e72a3162 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 13 Jun 2019 11:25:41 -0700
Subject: [PATCH] try dealing with mac pipeline

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

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index fd410ae14..0a96fc48c 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -103,12 +103,11 @@ jobs:
         make -j3 test-z3
         ./cpp_example
         ./c_example
-        cd ..     
+        cd ..
     - template: scripts/test-z3.yml
     - template: scripts/test-regressions.yml
 
 
-
 - job: "MacOSCMake"
   displayName: "MacOS build with CMake"
   pool: