*/
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
/*@iter constraintList_elements_private_only (sef constraintList x, yield only constraint el); @*/
# define constraintList_elements_private_only(x, m_el) \
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)