From e457483f7b6f75c8cbddd562fac94dbcb4e629c0 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 20:26:50 -0600
Subject: Fix gitignore

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

diff --git a/.gitignore b/.gitignore
index ed8a09d..7e11249 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,7 @@
 _build/
 .merlin
 *.install
-result/
+result
 
 # opam
 _opam/
-- 
cgit v1.2.3