From 46ef11556d8f9cd0f87d05b98c2bba2de343e5c0 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 22 Oct 2018 00:28:17 +0200
Subject: [PATCH] Added todo description.

---
 src/TODO-trampolines.txt | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/TODO-trampolines.txt

diff --git a/src/TODO-trampolines.txt b/src/TODO-trampolines.txt
new file mode 100644
index 0000000..559e242
--- /dev/null
+++ b/src/TODO-trampolines.txt
@@ -0,0 +1,8 @@
+2  iterateTermOther 		arachne.c +1010 ; system.c +1139
+1  subtermUnify 		arachne.c +961
+1  term_iterate_open_leaves 	dotout.c +1790 		// Could be replaced by term_iterate_leaves
+1  term_iterate_deVar 		heuristic.c +224
+3  unify 			mgu.c +233 ; mgu.c +247 ; mgu.c +281
+1  iterateLocalToOther 		prune_theorems.c +54
+1  term_iterate_leaves 		term.c +1145
+1  term_iterate_deVar 		term.c +1544