From 77cc97c03be4e0c1d5cc684927d48c913962fb6f Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 21 Aug 2008 22:32:19 +0200
Subject: [PATCH] Added a note for code cleanup.

---
 src/mgu.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/mgu.c b/src/mgu.c
index bd506c7..ec1b9f1 100644
--- a/src/mgu.c
+++ b/src/mgu.c
@@ -349,6 +349,9 @@ subtermUnify (Term tbig, Term tsmall, Termlist tl, Termlist keylist,
  *@return Returns a list of variables, that were previously open, but are now closed
  * in such a way that the two terms unify. Returns \ref MGUFAIL if it is impossible.
  * The termlist should be deleted.
+ *
+ * @TODO this code should be removed, as it duplicates 'unify' code, and is
+ * ill-suited for adaption later on with multiple unifiers.
  */
 Termlist
 termMguTerm (Term t1, Term t2)