Index: src/Tests/Expect-r/report
===================================================================
--- src/Tests/Expect-r/report	(revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad)
+++ src/Tests/Expect-r/report	(revision 68cd1ce1134527e1c664cfdf84df37a7025de8a7)
@@ -16,4 +16,8 @@
 ---Forall.txt---
 ---Function.txt---
+4956c4956
+< cfa-cpp: GenPoly/Box.cc:398: void GenPoly::{anonymous}::Pass1::boxParams(ApplicationExpr*, FunctionType*, std::list<Expression*>::iterator&, const TyVarMap&): Assertion `arg != appExpr->get_args().end()' failed.
+---
+> cfa-cpp: GenPoly/Box.cc:401: void GenPoly::{anonymous}::Pass1::boxParams(ApplicationExpr*, FunctionType*, std::list<Expression*>::iterator&, const TyVarMap&): Assertion `arg != appExpr->get_args().end()' failed.
 ---Functions.txt---
 ---GccExtensions.txt---