Removed unneeded function

	modified:   ocaml/term_table.ml