1 files changed, 1 insertions, 0 deletions
diff --git a/inc/term.h b/inc/term.h
index 62b93dd..f241fa2 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -35,6 +35,7 @@ struct term {
 };
 
 struct term *term_new(term_type_t type, hash_t hash, size_t depth);
+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);