X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fski_evaluator.ml;h=5e23ff9af0eb0d1f86271e13d31ef32e59801ae2;hp=10d130e08f9e9d3006a846bffacbdcb2b2cb4fae;hb=ad7fea353514a45be62c56bbc9f8df266db0266b;hpb=c802743d4972249bbeb4648717784250bc5b1360

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index 10d130e0..5e23ff9a 100644
--- a/code/ski_evaluator.ml
+++ b/code/ski_evaluator.ml
@@ -11,13 +11,13 @@ let reduce_one_step (t:term):term = match t with
                                                                
 let is_redex (t:term):bool = not (t = reduce_one_step t)        
                                                                       
-let rec reduce_eager (t:term):term = match t with                        
+let rec reduce (t:term):term = match t with                        
     I -> I                                                     
   | K -> K                                                     
   | S -> S                                                     
   | FA (a, b) ->                                                   
-      let t' = FA (reduce_eager a, reduce_eager b) in                      
-        if (is_redex t') then reduce_eager (reduce_one_step t')     
+      let t' = FA (reduce a, reduce b) in                      
+        if (is_redex t') then reduce (reduce_one_step t')     
                          else t'                               
 
 let rec reduce_lazy (t:term):term = match t with