Index: src/SynTree/ApplicationExpr.cc
===================================================================
--- src/SynTree/ApplicationExpr.cc	(revision 849720f09e161bb0a6d5dba500bf709d48c37197)
+++ src/SynTree/ApplicationExpr.cc	(revision 61b14476b305db14a7e5d99fed4f7b22928d8836)
@@ -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;