This fixes an issue with finding clause bounds after changing e.g.:
foo(Bar, Baz) :- Baz = Bar.
^ read as fullstop
to:
foo(Bar, Baz) :- Baz = Bar.foo.
^ read as dict dot
`("comment" . ,_))
(with-silent-modifications
(remove-list-of-text-properties beg end '(sweeprolog-fullstop))))
+ (`("syntax_error" ,_ ,eb ,ee)
+ (with-silent-modifications
+ (remove-list-of-text-properties (min beg eb) (max end ee)
+ '(sweeprolog-fullstop))))
("fullstop"
(with-silent-modifications
(add-text-properties beg end