From 7a667c62531df58136e3c52af7abc3d1232482b9 Mon Sep 17 00:00:00 2001
From: Marc Pouzet <Marc.Pouzet@ens.fr>
Date: Thu, 31 Oct 2024 12:42:51 +0100
Subject: [PATCH] Update .gitignore

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

diff --git a/.gitignore b/.gitignore
index ef8410f2..d24f038a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 *~
 *.exe
 *.bc
+*.zci
 .merlin
 config.ml
 _build/