From ec1907ed6ec2ad0ed04dbabc977129ecc7091dd2 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Sun, 11 May 2014 22:17:39 +0100
Subject: [PATCH] Ensure coverage of mvffdescribe.

Copied from Perforce
 Change: 186016
 ServerID: perforce.ravenbrook.com
---
 mps/code/mpmss.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/mps/code/mpmss.c b/mps/code/mpmss.c
index 339ae5b54f4..b46043ef153 100644
--- a/mps/code/mpmss.c
+++ b/mps/code/mpmss.c
@@ -5,14 +5,15 @@
  * Portions copyright (C) 2002 Global Graphics Software.
  */
 
+#include "mpm.h"
+#include "mps.h"
+#include "mpsavm.h"
+#include "mpscmfs.h"
 #include "mpscmv.h"
 #include "mpscmvff.h"
-#include "mpscmfs.h"
 #include "mpslib.h"
-#include "mpsavm.h"
+#include "mpslib.h"
 #include "testlib.h"
-#include "mpslib.h"
-#include "mps.h"
 
 #include <stdio.h> /* printf */
 
@@ -81,6 +82,7 @@ static mps_res_t stress(mps_class_t class, size_t (*size)(size_t i),
     }
   }
    
+  die(PoolDescribe(pool, mps_lib_get_stdout(), 0), "PoolDescribe");
   mps_pool_destroy(pool);
 
   return MPS_RES_OK;