From 1396b7f710489466eda0e2952354601e2e5c26a2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 10 Nov 2015 11:19:37 +0100
Subject: [PATCH] * src/parsetl/.gitignore: Adjust to no-that-recent renamings.

---
 src/parsetl/.gitignore | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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