]> git.eshelyaron.com Git - sweep.git/commit
; Fix filtering of the just created body when extracting goal
authorEshel Yaron <me@eshelyaron.com>
Sun, 24 Sep 2023 19:53:13 +0000 (21:53 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 24 Sep 2023 19:53:13 +0000 (21:53 +0200)
commite02f243b0359006bbe019e18bd67971e01e24a81
tree7e5b8f9f023740a77c7d241bfe07550fbc2b9f7c
parentabdd68164afbb75c1fe876040a4c5af82fff1548
; Fix filtering of the just created body when extracting goal

* sweeprolog (sweeprolog-extract-region-to-predicate): When searching
and replacing other goals subsumed by the extracted goal, use a more
robust check to filter out the newly created body term from the search
matches.
sweeprolog.el