fix typo on ski_evaluator

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index 11e8dd4..b339632 100644 (file)
--- 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_try b) in
              (match reduce_if_redex t' with
                | ReducedTo t'' -> reduce_try4 t''
                | AlreadyReduced -> t')