Index: src/GenPoly/InstantiateGeneric.cc
===================================================================
--- src/GenPoly/InstantiateGeneric.cc	(revision 623ecf34b307c3d929499dc0514c51d2c330f23e)
+++ src/GenPoly/InstantiateGeneric.cc	(revision b2daebd4c266a105c2ce540f4f6ad6144590981a)
@@ -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;
 	}