Add Javadoc for Term.copy to prevent 'unused parameter' warning
Change-Id: I21543ab03ecb0fa2295f549555404bc0aa9f9c61
diff --git a/src/lang/Term.java b/src/lang/Term.java
index d68e1b5..76cd75f 100644
--- a/src/lang/Term.java
+++ b/src/lang/Term.java
@@ -55,7 +55,11 @@
*/
public boolean convertible(Class<?> type) { return convertible(getClass(), type); }
- /** Returns a copy of this object. */
+ /**
+ * Returns a copy of this object.
+ * @param engine the engine.
+ *
+ */
protected Term copy(Prolog engine) { return this; }
/** Returns the dereference value of this term. */