From da1a1494255c3721b406fa272da9791855ba9ac2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Feb 2020 09:43:39 -0800
Subject: [PATCH] create 18 pipeline

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 24277d32f..875fe274c 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -45,6 +45,7 @@ jobs:
     - script: |
         set -e
         cd build
+        eval `opam env` 
         make -j3
         make -j3 examples
         make -j3 test-z3