From 73083977e2e7e552e731fec0818d8a2ae2925f07 Mon Sep 17 00:00:00 2001
From: Everett Maus <evmaus@google.com>
Date: Mon, 12 Aug 2019 17:31:57 -0700
Subject: [PATCH] Trying a different clang version that should be installed

---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 5110b968e..8c3f548f7 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -56,12 +56,12 @@ jobs:
         mkdir build
         cd build
         $(cmdLine)
-        export MSAN_SYMBOLIZER_PATH=/usr/lib/llvm-3.8/bin/llvm-symbolizer
         ninja
         ninja test-z3
         cd ..
     - script: |
          cd build
+         export MSAN_SYMBOLIZER_PATH=/usr/lib/llvm-6.0/bin/llvm-symbolizer
          ./test-z3 -a
          cd ..
       condition: eq(variables['runUnitTest'], 'True')