Index: tests/exceptions/hotpotato.cfa
===================================================================
--- tests/exceptions/hotpotato.cfa	(revision 5251c6b3e179b007a0d6e799699a2ace9204dda2)
+++ tests/exceptions/hotpotato.cfa	(revision 10b5970650e2ff3d8e757dd5c91889d466e44fe0)
@@ -129,5 +129,4 @@
 	intmax_t seed = 42;									// random-number seed
 	bool playersSet = false;
-	char * nosummary = getenv( "NOSUMMARY" );			// print extra output
 
 	try {
Index: tests/exceptions/hotpotato_checked.cfa
===================================================================
--- tests/exceptions/hotpotato_checked.cfa	(revision 5251c6b3e179b007a0d6e799699a2ace9204dda2)
+++ tests/exceptions/hotpotato_checked.cfa	(revision 10b5970650e2ff3d8e757dd5c91889d466e44fe0)
@@ -150,5 +150,4 @@
 	intmax_t seed = 42;									// random-number seed
 	bool playersSet = false;
-	char * nosummary = getenv( "NOSUMMARY" );			// print extra output
 
 	try {