From 4cfc73779adec4dc4d37b16ebdcdea06c54e869c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Oct 2021 16:11:43 +0200
Subject: [PATCH] update build

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

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 24a7ae1c6..960aaa1cc 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -312,6 +312,7 @@ jobs:
     - script: |
         set -e
         cd build
+        eval `opam config env`
         make -j3
         make -j3 examples
         make -j3 test-z3