}
constraint_free(c);
- /*drl bee: pbr*/ *resolved = TRUE;
+ *resolved = TRUE;
return NULL;
}
- /*drl bee: pbr*/ *resolved = FALSE;
+ *resolved = FALSE;
llassert(constraint_isDefined(c) );
curr = doResolve (curr, post1, resolved);
- /*drl bee: pbr*/ if (*resolved)
+ if (*resolved)
{
/* curr is null so we don't try to free it*/
llassert(curr == NULL);