fix meta decl to agree with new name.
This commit is contained in:
parent
e22b2febf4
commit
28c10dbefc
@ -32,7 +32,7 @@ available by loading the
|
||||
:- meta_predicate
|
||||
filter(+,+,2),
|
||||
file_filter(+,+,2),
|
||||
file_filter_with_init(+,+,2,+,:),
|
||||
file_filter_with_initialization(+,+,2,+,:),
|
||||
process(+,1).
|
||||
|
||||
:- use_module(library(lists),
|
||||
|
Reference in New Issue
Block a user