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

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index f0b4d166..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_lazy t''
+                            in reduce_try3 t''
                        else t'