From f8efe7032d2f24e52e75ad1e1cb1222080e21809 Mon Sep 17 00:00:00 2001
From: engboris <engboris@hotmail.fr>
Date: Tue, 2 May 2023 20:11:50 +0200
Subject: [PATCH] Update .gitignore

---
 .gitignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 61e76dd..7c1e82f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,6 @@
 main
 *.cmi
 *.cmo
-
+lexer.ml
+parser.mli
+parser.ml