Deallocate memory from pool using the correct function
authorJohn Darrington <john@darrington.wattle.id.au>
Fri, 30 Jul 2010 21:41:01 +0000 (23:41 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Fri, 30 Jul 2010 21:41:01 +0000 (23:41 +0200)
commitc48de1ac439a57cdead8114f8ccb9b9ba1cee001
treeb27cc407447bdcc9f81b1edaac434e076b7f96dc
parentf14ea735832776eb7a28fe9e210bb270d401060e
Deallocate memory from pool using the correct function

Memory allocated using pool_alloc was being deallocated using
the standard free function instead of pool_free.  This change
fixes that.  Thanks to Andras Muranyi for reporting this problem.
src/libpspp/i18n.c