Fix a harmless compiler warning about an unused parameter.
commit0c6d2c53ea784bd2783323a91c10b4c7121b2a49
authorD. Richard Hipp <drh@hwaci.com>
Thu, 12 Oct 2017 14:18:38 +0000 (12 14:18 +0000)
committerD. Richard Hipp <drh@hwaci.com>
Thu, 12 Oct 2017 14:18:38 +0000 (12 14:18 +0000)
treed8654c533fd22d125da7461e19d53c90300176e0
parentd97becb3e8616c96621ddaef14a4b8fdce7d1eac
Fix a harmless compiler warning about an unused parameter.
src/pager.c