From 75de6ad468cfa120a4c4e39df155c832584e58a7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 7 Oct 2020 09:22:11 +0200
Subject: [PATCH] fix typo in Makefile

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

diff --git a/Makefile b/Makefile
index 69d14288d..f34bcca55 100644
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ builddep-opamfiles: $(BUILDDEPFILES)
 .PHONY: builddep-opamfiles
 
 builddep: builddep-opamfiles
-	@# We want opam to not just instal the build-deps now, but to also keep satisfying these
+	@# We want opam to not just install the build-deps now, but to also keep satisfying these
 	@# constraints.  Otherwise, `opam upgrade` may well update some packages to versions
 	@# that are incompatible with our build requirements.
 	@# To achieve this, we create a fake opam package that has our build-dependencies as
-- 
GitLab