Index: src/GenPoly/Box.cc
===================================================================
--- src/GenPoly/Box.cc	(revision 70a06f62e367e9c06390ae334378318747bac089)
+++ src/GenPoly/Box.cc	(revision dc2e7e0625c69ea1a4e1ba396569d2cd6cec9f99)
@@ -10,5 +10,5 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Thu Apr 14 15:57:46 2016
+// Last Modified On : Mon Apr 18 13:22:15 2016
 // Update Count     : 295
 //
@@ -784,4 +784,5 @@
 						arg++;
 					} else {
+						/// xxx - should this be an assertion?
 						throw SemanticError( "unbound type variable in application ", appExpr );
 					} // if