1 files changed, 2 insertions, 2 deletions
diff --git a/src/lang/DoubleTerm.java b/src/lang/DoubleTerm.java
index 337f5dd..f387213 100644
--- a/src/lang/DoubleTerm.java
+++ b/src/lang/DoubleTerm.java
@@ -38,6 +38,8 @@ public class DoubleTerm extends NumberTerm {
 	return this.val == ((DoubleTerm)t).value();
     }
 
+    public String name() { return ""; }
+
     /** 
      * @return the <code>boolean</code> whose value is
      * <code>convertible(Double.class, type)</code>.
@@ -45,8 +47,6 @@ public class DoubleTerm extends NumberTerm {
      */
     public boolean convertible(Class type) { return convertible(Double.class, type); }
 
-    //    protected Term copy(Prolog engine) { return new DoubleTerm(val); }
-
     /** 
      * Returns a <code>java.lang.Double</code> corresponds to this <code>DoubleTerm</code>
      * according to <em>Prolog Cafe interoperability with Java</em>.