X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Flambda.js;h=50880fc6585648d5b16c4173e53aba0f97105120;hp=132d9e93f588977c410c578ac68f569021368fca;hb=e6c00ad32d58107e9861e2d121db7e03e626e184;hpb=47ea0791bc48f4fe4fcb95b89bbaf599a1076c80

diff --git a/code/lambda.js b/code/lambda.js
index 132d9e93..50880fc6 100644
--- a/code/lambda.js
+++ b/code/lambda.js
@@ -363,9 +363,9 @@ function Lambda_lam(variable, body) {
 			// var term = new Lambda_lam(this.bound, this.body.eval_loop([], eta));
 			var term = new Lambda_lam(this.bound, reduce(this.body, eta, false));
 			if (eta) {
-				return term.check_eta();
+				return [null, term.check_eta()];
 			} else {
-				return term;
+				return [null, term];
 			}
         } else {
             var x = stack[0];