From 9ae95117827c276f5462dccb32f48ce6695b35b7 Mon Sep 17 00:00:00 2001
From: Albin Coquereau <albin.coquereau@ocamlpro.com>
Date: Wed, 25 Mar 2020 15:58:29 +0100
Subject: [PATCH] remove alt-ergo dep in altgr-ergo.opam

---
 sources/altgr-ergo.opam | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sources/altgr-ergo.opam b/sources/altgr-ergo.opam
index 33e10eb66..bb3617465 100644
--- a/sources/altgr-ergo.opam
+++ b/sources/altgr-ergo.opam
@@ -14,7 +14,6 @@ depends: [
   "dune" {>= "1.5"}
   "lablgtk"
   "conf-gtksourceview"
-  "alt-ergo" { = version }
   "alt-ergo-lib" { = version }
   "alt-ergo-parsers" { = version }
 ]