Index: src/SymTab/Mangler.cc
===================================================================
--- src/SymTab/Mangler.cc	(revision 66f8528e75e91260ef63ddd93ec58ba5e42ae5dc)
+++ src/SymTab/Mangler.cc	(revision 8bf784a480c5767f00136e0ea0f9174c442f327f)
@@ -214,4 +214,9 @@
 				mangleName << "f";
 				break;
+				case TypeDecl::Ttype:
+				mangleName << "tVARGS";
+				break;
+				default:
+				assert( false );
 			} // switch
 			mangleName << numStream.str();
@@ -256,5 +261,5 @@
 		if ( ! type->get_forall().empty() ) {
 			std::list< std::string > assertionNames;
-			int tcount = 0, dcount = 0, fcount = 0;
+			int tcount = 0, dcount = 0, fcount = 0, vcount = 0;
 			mangleName << "A";
 			for ( Type::ForallList::iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
@@ -269,4 +274,9 @@
 					fcount++;
 					break;
+				  case TypeDecl::Ttype:
+					vcount++;
+					break;
+				  default:
+					assert( false );
 				} // switch
 				varNums[ (*i )->get_name() ] = std::pair< int, int >( nextVarNum++, (int )(*i )->get_kind() );
@@ -280,5 +290,5 @@
 				} // for
 			} // for
-			mangleName << tcount << "_" << dcount << "_" << fcount << "_";
+			mangleName << tcount << "_" << dcount << "_" << fcount << "_" << vcount << "_";
 			std::copy( assertionNames.begin(), assertionNames.end(), std::ostream_iterator< std::string >( mangleName, "" ) );
 			mangleName << "_";