tree 9b5a57507e9deb54a1b17d4b9facde3936dad737
parent 6f654a40e8618e41b96be3d8dc36cac8ed69a56c
author drh <drh@noemail.net> 1493477815 +0000
committer drh <drh@noemail.net> 1493477815 +0000

Minor size and performance improvements to the push-down optimization.

FossilOrigin-Name: 91dfb61a1a25763bb0b5c1e353a9d584bc6de3f6eb445f54202ffe7f6fee6e8d