diff --git a/.gitignore b/.gitignore index 1d8e2aeaa53f2571ebe6b4136114595d66d311e4..150014ac59b6d4819f637ab53476e87d20bb089d 100644 --- a/.gitignore +++ b/.gitignore @@ -16,12 +16,12 @@ tests/**/*.svg tests/results.html tests/__pycache__ src/_build -parser_generator/_build +alpaga/_build grammar.html src/generated_parser.ml **/*.native -parser_generator/ml_parser_generator -parser_generator/ml_parser_generator.native +alpaga/alpaga +alpaga/ml_parser_generator.native tykernel/*.ast tykernel/*.cfg tykernel/*.cfg0