diff --git a/.gitignore b/.gitignore index 5e7a57e..ac19a8f 100644 --- a/.gitignore +++ b/.gitignore @@ -2,5 +2,6 @@ *.d *.huc *.P -src/contract_lex.erl +src/check.log src/contract_yecc.erl +src/contract_lex.erl