1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-04-07 06:41:00 -07:00

Remove duplicate pool destroy

Copied from Perforce
 Change: 18669
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Richard Tucker 1997-08-22 12:36:22 +01:00
parent 4cb7d95456
commit 4346810734

View file

@ -33,7 +33,6 @@ static void test(void) {
pool1=pool;
}
mps_pool_destroy(pool);
mps_pool_destroy(pool);
mps_thread_dereg(thread);
mps_space_destroy(space);