From 1e728c2455fdc696e260f87d0d523a3de6d43a00 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 7 Jun 2023 15:54:59 +0200
Subject: Parenting is still needed

I was certainly dumb.

This reverts commit ec2be68120e48c75b0acd2bdfb5cc8d931c70cfd.
---
 inc/term.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'inc/term.h')

diff --git a/inc/term.h b/inc/term.h
index 6d5732e..f241fa2 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -13,6 +13,7 @@ typedef enum { INV, ABS, APP, VAR } term_type_t;
 struct term {
 	term_type_t type;
 	hash_t hash;
+	struct hashmap *parents;
 	size_t refs;
 	size_t depth;
 
@@ -34,8 +35,8 @@ struct term {
 };
 
 struct term *term_new(term_type_t type, hash_t hash, size_t depth);
-void term_destroy_head(struct term *term);
 char term_is_beta_redex(struct term *term);
+void term_rehash_parents(struct term *term);
 struct term *term_rehash(struct term *term);
 struct term *term_rehash_abs(struct term *head, struct term *term);
 struct term *term_rehash_app(struct term *head, struct term *lhs,
-- 
cgit v1.2.3