X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Flambda.js;h=d4e3a5ef8ed7334e6e0aedd3cc524235830156f0;hp=89bd21b59ed90b83bd222e1783eac952dd17d75d;hb=9c7e038237948882afa16677f9b0d5a8a530b07a;hpb=3a88ab1dea7db2189cbe9b72f2ec17986b8d199d

diff --git a/code/lambda.js b/code/lambda.js
index 89bd21b5..d4e3a5ef 100644
--- a/code/lambda.js
+++ b/code/lambda.js
@@ -293,16 +293,16 @@ function Lambda_lam(variable, body) {
         return new Db_lam(this.body.debruijn(new_seq));
     };
     this.to_string = function (as_atom) {
-        var base = "\\" + this.to_string_funct();
+        var base = "\\" + this.to_dotted();
         if (as_atom) {
             return "(" + base + ")";
         } else {
             return base;
         }
     };
-    this.to_string_funct = function () {
-        if (this.body.to_string_funct) {
-            return this.bound.to_string() + " " + this.body.to_string_funct();
+    this.to_dotted = function () {
+        if (this.body.to_dotted) {
+            return this.bound.to_string() + " " + this.body.to_dotted();
         } else {
             return this.bound.to_string() + ". " + this.body.to_string();
         }