Index: src/GenPoly/InstantiateGeneric.cc
===================================================================
--- src/GenPoly/InstantiateGeneric.cc	(revision 623ecf34b307c3d929499dc0514c51d2c330f23e)
+++ src/GenPoly/InstantiateGeneric.cc	(revision b0fedd4a9c5fd3d6488160b3fd9bb16e03e6b651)
@@ -255,5 +255,5 @@
 		}
 
-		assert( baseParam == baseParams.end() && param == params.end() && "Type parameters should match type variables" );
+		assertf( baseParam == baseParams.end() && param == params.end(), "Type parameters should match type variables" );
 		return gt;
 	}