[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing pattern.

Roberto Bagnara bagnara at cs.unipr.it
Sun Apr 26 20:39:45 CEST 2009


Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 3cebc86fa1c4b43f293a5d992cd3814351a3d30c
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cebc86fa1c4b43f293a5d992cd3814351a3d30c

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr 26 20:39:06 2009 +0200

Added missing pattern.

---

 interfaces/Prolog/tests/.gitignore |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/interfaces/Prolog/tests/.gitignore b/interfaces/Prolog/tests/.gitignore
index 5a99aff..f1bc771 100644
--- a/interfaces/Prolog/tests/.gitignore
+++ b/interfaces/Prolog/tests/.gitignore
@@ -1,7 +1,8 @@
 ppl_predicate_check.pl
 ppl_predicate_check_[A-Z]*.pl
 ppl_predicate_check_main.pl
-predicate_check_all
+ppl_prolog_generated_test.stamp
 ppl_prolog_generated_test_[A-Z]*.pl
+ppl_prolog_generated_test_blob
 ppl_prolog_generated_test_main.pl
-ppl_prolog_generated_test.stamp
+predicate_check_all




More information about the PPL-devel mailing list