X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fski_evaluator.ml;h=727a84a5f2c084c5b2efbb6eee6fed231a0a93a1;hp=11e8dd4ebd85a4794317052a7c39f8eaa3387eb6;hb=ec3beaf6933b52a2434f08d4e93829bfbaa3d043;hpb=0cb89c90973c0c5c74d7c3cfd929ca95946d44e4

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index 11e8dd4e..727a84a5 100644
--- a/code/ski_evaluator.ml
+++ b/code/ski_evaluator.ml
@@ -53,7 +53,7 @@ let rec reduce_try3 (t:term):term = match t with
 	  | K -> K
 	  | S -> S
 	  | App(a, b) ->
-	      let t' = App(reduce_try3 a, reduce_try b) in
+	      let t' = App(reduce_try4 a, reduce_try4 b) in
 	      (match reduce_if_redex t' with
 	        | ReducedTo t'' -> reduce_try4 t''
 	        | AlreadyReduced -> t')