From f0f91e35e46a2ed370ec5c10e9dea29abfda700b Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 2 Oct 2024 13:06:23 +0200
Subject: [PATCH] cleanup

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 952b6282c..0d053adbd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -56,4 +56,3 @@ tmp.out
 coq-elpi-tests.opam
 coq-elpi-tests.install
 coq-elpi.install
-_opam