X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fski_evaluator.ml;h=742d63d17b45d39bd3d9b1ec4c400e300cd0c320;hp=15ee4a7766818dc84a551648da8b016897fd5da7;hb=f7772d76917427a2c0e00e7bbc0cf78245f966cd;hpb=7ea03edf218ad5b63cd7ee0faa33391e1f3893ae

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index 15ee4a77..742d63d1 100644
--- a/code/ski_evaluator.ml
+++ b/code/ski_evaluator.ml
@@ -21,12 +21,12 @@ let rec reduce_try2 (t:term):term = match t with
                             in reduce_try2 t''
                        else t'
 
-let rec reduce_lazy (t:term):term = match t with
+let rec reduce_try3 (t:term):term = match t with
   | I -> I
   | K -> K
   | S -> S
   | App (a, b) ->
-      let t' = App (reduce_lazy a, b) in
+      let t' = App (reduce_try3 a, b) in
       if (is_redex t') then let t'' = reduce_if_redex t'
-                            in reduce_lazt t''
+                            in reduce_try3 t''
                        else t'