diff --git a/src/parsetl/.gitignore b/src/parsetl/.gitignore index 3ac0ce0a5..baefb7ca9 100644 --- a/src/parsetl/.gitignore +++ b/src/parsetl/.gitignore @@ -2,10 +2,10 @@ Makefile Makefile.in location.hh -ltlparse.cc -ltlparse.hh -ltlparse.output -ltlscan.cc +parsetl.cc +parsetl.hh +parsetl.output +scantl.cc position.hh readltl stack.hh