update juli8 to 1.4
[lambda.git] / code / ski_evaluator.ml
index b339632..727a84a 100644 (file)
@@ -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_try4 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')