From 8b14e190a9c9b9ea5218222334bcdc00a89db224 Mon Sep 17 00:00:00 2001
From: Thomas Applencourt <TApplencourt@users.noreply.github.com>
Date: Mon, 19 Aug 2019 17:13:41 -0500
Subject: [PATCH] Fix spurious EOF

---
 configure | 1 -
 1 file changed, 1 deletion(-)

diff --git a/configure b/configure
index 23f4aa02..6d875fae 100755
--- a/configure
+++ b/configure
@@ -330,7 +330,6 @@ EOF
 
                 opam init --verbose --yes --compiler=4.07.1 --disable-sandboxing
                 eval $(opam env)
-EOF
                 execute << EOF
                   opam install -y \${OCAML_PACKAGES}  || exit 1
 EOF