Index: src/Common/Heap.cc
===================================================================
--- src/Common/Heap.cc	(revision eba74ba03a2c29999def828ffaf6afc87e2b40d1)
+++ src/Common/Heap.cc	(revision cdc4d434eaa8d5b4aeaf69a97a56f029f675cd09)
@@ -21,5 +21,5 @@
 #include <iostream>
 
-#define WITH_HEAP_STATISTICS
+//#define WITH_HEAP_STATISTICS
 
 namespace HeapStats {
Index: src/Tuples/TupleExpansion.cc
===================================================================
--- src/Tuples/TupleExpansion.cc	(revision eba74ba03a2c29999def828ffaf6afc87e2b40d1)
+++ src/Tuples/TupleExpansion.cc	(revision cdc4d434eaa8d5b4aeaf69a97a56f029f675cd09)
@@ -219,5 +219,4 @@
 		TypeSubstitution * env = tupleExpr->env;
 		tupleExpr->env = nullptr;
-		delete tupleExpr;
 
 		if ( TupleExpr * tupleExpr = dynamic_cast< TupleExpr * > ( tuple ) ) {