Module: ppl/ppl Branch: bounded_arithmetic Commit: 3cebc86fa1c4b43f293a5d992cd3814351a3d30c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cebc86fa1c4b...
Author: Roberto Bagnara bagnara@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