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