diff --git a/src/TODO-trampolines.txt b/src/TODO-trampolines.txt
index d99e6cd..ba95dfe 100644
--- a/src/TODO-trampolines.txt
+++ b/src/TODO-trampolines.txt
@@ -1,7 +1,6 @@
 2  iterateTermOther 		arachne.c +1053 ; system.c +1155
 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