1 files changed, 1 insertions, 0 deletions
diff --git a/sets.h b/sets.h
index ebbed20..cbb37b8 100644
--- a/sets.h
+++ b/sets.h
@@ -60,6 +60,7 @@ bool set_mem(int x, const set s);
 bool sets_equal(const set a, const set b);
 
 int elt_of_set(const set s);
+int elt_of_set_heur(const set s, int h);
 
 set set_add(int x, const set s);
 void set_add_ip(int x, set s);