- Remove obsolete child parameter.
This commit is contained in:
parent
94b3ac7c96
commit
19b3c74e65
@ -34,7 +34,6 @@ binding_create (Term term, int run_to, int ev_to)
|
||||
|
||||
b = memAlloc (sizeof (struct binding));
|
||||
b->done = 0;
|
||||
b->child = 0;
|
||||
b->run_from = -1;
|
||||
b->ev_from = -1;
|
||||
b->run_to = run_to;
|
||||
@ -412,7 +411,6 @@ goal_add (Term term, const int run, const int ev, const int level)
|
||||
Binding b;
|
||||
|
||||
b = (Binding) sys->bindings->data;
|
||||
b->child = 1;
|
||||
}
|
||||
i++;
|
||||
}
|
||||
|
@ -11,7 +11,6 @@
|
||||
struct binding
|
||||
{
|
||||
int done; //!< Iff true, it is bound
|
||||
int child; //!< Signifies some tuple unfolding, to remove created bindings.
|
||||
|
||||
int run_from;
|
||||
int ev_from;
|
||||
|
Loading…
Reference in New Issue
Block a user