if (context_getFlag (FLG_ORCONSTRAINT))
{
- temp1 = constraint_unparseOr(current);
+ temp1 = constraint_unparseOr (current);
}
else
{
return st;
}
-void constraintList_unparseErrorPostConditions (constraintList s, fileloc loc)
+void constraintList_printErrorPostConditions (constraintList s, fileloc loc)
{
constraintList_elements (s, elem)
return;
}
-void constraintList_unparseError (constraintList s, fileloc loc)
+void constraintList_printError (constraintList s, fileloc loc)
{
constraintList_elements (s, elem)