]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #942 from pmoura/fix_op_3_predicate_operator_priority_domain_error
authorMark Thom <[email protected]>
Mon, 10 May 2021 17:07:04 +0000 (11:07 -0600)
committerGitHub <[email protected]>
Mon, 10 May 2021 17:07:04 +0000 (11:07 -0600)
Fix op/3 predicate operator_priority domain error


Trivial merge