diff --git a/.gitignore b/.gitignore index e278cf5..6d386db 100644 --- a/.gitignore +++ b/.gitignore @@ -2,5 +2,11 @@ lexer.ml parser.cmi parser.ml +# Compiled files *.cmo *.mli +*.cmi +comp + +# MacOS file +.DS_Store