Index: src/SynTree/ApplicationExpr.cc
===================================================================
--- src/SynTree/ApplicationExpr.cc	(revision 7030dab75c493bbd89de53cb88e496019c794ff4)
+++ src/SynTree/ApplicationExpr.cc	(revision 07d867b95a42cbafd020825e1507f8c956e32d21)
@@ -34,9 +34,9 @@
 
 ParamEntry::ParamEntry( const ParamEntry &other ) :
-		decl( other.decl ), declptr( maybeClone( other.declptr ) ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) ) {
+		decl( other.decl ), declptr( other.declptr ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) ) {
 }
 
 ParamEntry::~ParamEntry() {
-	delete declptr;
+	// delete declptr;
 	delete actualType;
 	delete formalType;