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);