From 19b3c74e6587290bd5e3cc649ddba75d776c0f9e Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 18 Oct 2004 13:06:22 +0000
Subject: [PATCH] - Remove obsolete child parameter.

---
 src/binding.c | 2 --
 src/binding.h | 1 -
 2 files changed, 3 deletions(-)

diff --git a/src/binding.c b/src/binding.c
index f6dfcf4..6f5563b 100644
--- a/src/binding.c
+++ b/src/binding.c
@@ -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++;
 	}
diff --git a/src/binding.h b/src/binding.h
index 67a045f..c81fd2e 100644
--- a/src/binding.h
+++ b/src/binding.h
@@ -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;