Index: src/SynTree/ReferenceToType.cc
===================================================================
--- src/SynTree/ReferenceToType.cc	(revision 0555f4bcb3f9d01c36c8df66c8417c065804176b)
+++ src/SynTree/ReferenceToType.cc	(revision 1e8b02f5d6be0872e21934bb090b99f373442fd9)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ReferenceToType.cc -- 
+// ReferenceToType.cc --
 //
 // Author           : Richard C. Bilson
@@ -36,5 +36,5 @@
 void ReferenceToType::print( std::ostream &os, int indent ) const {
 	using std::endl;
-	
+
 	Type::print( os, indent );
 	os << "instance of " << typeString() << " " << name << " ";
@@ -128,4 +128,8 @@
 }
 
+TypeInstType::~TypeInstType() {
+	// delete baseType; //This is shared and should not be deleted
+}
+
 void TypeInstType::set_baseType( TypeDecl *newValue ) {
 	baseType = newValue;
@@ -137,5 +141,5 @@
 void TypeInstType::print( std::ostream &os, int indent ) const {
 	using std::endl;
-	
+
 	Type::print( os, indent );
 	os << "instance of " << typeString() << " " << get_name() << " (" << ( isFtype ? "" : "not" ) << " function type) ";
Index: src/SynTree/Type.h
===================================================================
--- src/SynTree/Type.h	(revision 0555f4bcb3f9d01c36c8df66c8417c065804176b)
+++ src/SynTree/Type.h	(revision 1e8b02f5d6be0872e21934bb090b99f373442fd9)
@@ -327,4 +327,5 @@
 	TypeInstType( const Type::Qualifiers &tq, const std::string &name, bool isFtype );
 	TypeInstType( const TypeInstType &other ) : Parent( other ), baseType( other.baseType ), isFtype( other.isFtype ) {}
+	~TypeInstType();
 
 	TypeDecl *get_baseType() const { return baseType; }