Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision 28a8cf9a6d4ac65b0d2dca677451b9f6e9533eec)
+++ src/SymTab/Validate.cc	(revision 0a0a65b5f4350f6944a83b488d01c51bd4882e98)
@@ -10,6 +10,6 @@
 // Created On       : Sun May 17 21:50:04 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri Jul 03 13:17:07 2015
-// Update Count     : 131
+// Last Modified On : Tue Jul 07 10:41:23 2015
+// Update Count     : 136
 //
 
@@ -560,5 +560,5 @@
 		// E ?=?(E volatile *, E)
 		Type *etype = refType->clone();
-		etype->get_qualifiers() += Type::Qualifiers(false, true, false, false, false, false);
+		// etype->get_qualifiers() += Type::Qualifiers(false, true, false, false, false, false);
 
 		ObjectDecl *dstParam = new ObjectDecl( "_dst", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), etype ), 0 );
@@ -589,4 +589,10 @@
 
 		LibCfa::makeLibCfa( assigns );
+
+		// need to remove the prototypes, since these can appear nested in a routine
+		for (int start = 0, end = assigns.size()/2; start < end; start++) {
+			delete assigns.front();
+			assigns.pop_front();
+		}
 
 		declsToAdd.insert( declsToAdd.begin(), assigns.begin(), assigns.end() );