From ec453764172bccb6cc8ebf80e36eb615d83b2627 Mon Sep 17 00:00:00 2001
From: Michael Zhang <iptq@protonmail.com>
Date: Thu, 4 Jun 2020 05:32:49 -0500
Subject: [PATCH] fix tests

---
 .build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.build.yml b/.build.yml
index 5c9a6d2..2e372d1 100644
--- a/.build.yml
+++ b/.build.yml
@@ -5,7 +5,9 @@ sources:
   - https://git.sr.ht/~iptq/logical-foundations
 tasks:
   - setup: |
-      opam install coq=8.8.1
+      opam init -yc 4.09.1
+      opam install -y coq=8.8.1
   - build: |
+      eval $(opam env)
       cd logical-foundations
       make