From 4346810734cd3fc575da44c2e1abbe8a6ba8a864 Mon Sep 17 00:00:00 2001
From: Richard Tucker <rit@harlequin.com>
Date: Fri, 22 Aug 1997 12:36:22 +0100
Subject: [PATCH] Remove duplicate pool destroy

Copied from Perforce
 Change: 18669
 ServerID: perforce.ravenbrook.com
---
 mps/qa/function/17.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/mps/qa/function/17.c b/mps/qa/function/17.c
index 61deee27c94..cefdbd9572b 100644
--- a/mps/qa/function/17.c
+++ b/mps/qa/function/17.c
@@ -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);