From 9493aa7663463d68e65bff6c8096b6e053cae5cb Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Sat, 7 Mar 2020 14:16:33 -0500
Subject: [PATCH] feat: Bump COMPILER_EDGE to 4.09.0+flambda

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 1b932b7..bcc471b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -59,7 +59,7 @@ USER coq
 
 ENV NJOBS="2"
 ENV COMPILER="4.05.0"
-ENV COMPILER_EDGE="4.07.1+flambda"
+ENV COMPILER_EDGE="4.09.0+flambda"
 
 RUN ["/bin/bash", "--login", "-c", "set -x \
   && opam init --auto-setup --yes --jobs=${NJOBS} --compiler=${COMPILER_EDGE} --disable-sandboxing \