Skip to content

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl #987

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl #987