]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2098 from triska/morphing_propagators
authorMark Thom <[email protected]>
Tue, 10 Oct 2023 20:57:00 +0000 (14:57 -0600)
committerGitHub <[email protected]>
Tue, 10 Oct 2023 20:57:00 +0000 (14:57 -0600)
Queue morphed propagators to give them a chance for propagation


Trivial merge