- llfatalerrorLoc (cstring_makeLiteral("Macro defined constants can not be used in function constraints unless they are specifed with the constant annotation. To use a macro defined constant include an annotation of the form /*@constant <type> <name>=<value>@*/ somewhere before the function constraint. This restriction may be removed in future releases if it is determined to be excessively burdensome." ));
+ llfatalerrorLoc (cstring_makeLiteral ("Macro defined constants can not be used in function "
+ "constraints unless they are specifed with the constant "
+ "annotation. To use a macro defined constant include an "
+ "annotation of the form /*@constant <type> <name>=<value>@*/ "
+ "somewhere before the function constraint. This restriction "
+ "may be removed in future releases."));