Index: src/SymTab/Mangler.cpp
===================================================================
--- src/SymTab/Mangler.cpp	(revision 689d0575efebba7e0ece164aab8e2967a9548a43)
+++ src/SymTab/Mangler.cpp	(revision b1b513dccca0c7daa8d71671b956e73a7b44fd82)
@@ -290,5 +290,5 @@
 	if ( typeMode ) return;
 	auto funcType = dynamic_cast<const ast::FunctionType *>( type );
-	if ( funcType && !funcType->forall.empty() ) {
+	if ( funcType && (!funcType->forall.empty() || !funcType->assertions.empty()) ) {
 		std::list< std::string > assertionNames;
 		int dcount = 0, fcount = 0, vcount = 0, acount = 0;