Index: src/Parser/TypeData.cc
===================================================================
--- src/Parser/TypeData.cc	(revision 6943f0511582b37034c3046e163992d7c9c2b3df)
+++ src/Parser/TypeData.cc	(revision 4cc428651c83d14e03e03eefcb10aece78034e35)
@@ -441,4 +441,5 @@
 			dtorType->get_parameters().push_back( new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new TypeInstType( Type::Qualifiers(), (*i)->get_name(), *i ) ), 0 ) );
 			(*i)->get_assertions().push_front( new FunctionDecl( "^?{}", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, dtorType, 0, false, false ) );
+
 			// add copy ctor:  void ?{}(T *, T)
 			FunctionType *copyCtorType = new FunctionType( Type::Qualifiers(), false );