Skip to content

Merge pull request #707 from fjtirado/Renaming_function_predicate #1538

Merge pull request #707 from fjtirado/Renaming_function_predicate

Merge pull request #707 from fjtirado/Renaming_function_predicate #1538