Index: src/GenPoly/Box.cpp
===================================================================
--- src/GenPoly/Box.cpp	(revision 539a8c8078617974987dd88ab674a236635a0110)
+++ src/GenPoly/Box.cpp	(revision ca9d65e54b7ed187b75dfe016b8d4e2debd19fa4)
@@ -9,7 +9,7 @@
 // Author           : Andrew Beach
 // Created On       : Thr Oct  6 13:39:00 2022
-// Last Modified By : Andrew Beach
-// Last Modified On : Mon Oct  2 17:00:00 2023
-// Update Count     : 0
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Dec 14 17:42:17 2023
+// Update Count     : 7
 //
 
@@ -777,7 +777,6 @@
 		if ( !concrete ) {
 			// Should this be an assertion?
-			SemanticError( expr, toString( typeSubs,
-				"\nunbound type variable: ", typeVar->typeString(),
-				" in application " ) );
+			SemanticError( expr->location, "\nunbound type variable %s in application %s",
+						   toString( typeSubs ).c_str(), typeVar->typeString().c_str() );
 		}
 		arg = expr->args.insert( arg,