From a14a55defb0bddeb7eff31ac6480d2b437aafc5e Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Fri, 31 Jan 2020 08:30:10 -0800
Subject: [PATCH] Remove unused predicates appears_only_once/2 and 
 reg_used_once/2.

---
 thun/thun.pl | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/thun/thun.pl b/thun/thun.pl
index 168d76b..e8db2ee 100644
--- a/thun/thun.pl
+++ b/thun/thun.pl
@@ -731,10 +731,6 @@ reggy(FreePool, References, ValueMap)
 encode_list(List, FP, FP, Addr) --> [],
     {addr(list(List))=Addr}.
 
-appears_only_once(Term, List) :- append(_, [Term|Tail], List), !, \+ member(Term, Tail).
-
-reg_used_once(Reg, reggy(_, References, _)) :- appears_only_once(Reg, References).
-
 get_reggy([], _, _) :- writeln('Out of Registers'), fail.
 get_reggy([Reg|FreePool], Reg, FreePool).