Merge branch 'working'

[lambda.git] / code / ski_evaluator.ml

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