From bc7463924042105b4f269070edf99db4de4fae55 Mon Sep 17 00:00:00 2001
From: Jim <jim.pryor@nyu.edu>
Date: Wed, 25 Mar 2015 06:01:17 -0400
Subject: [PATCH] fix another typo on ski_evaluator

---
 code/ski_evaluator.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index b3396325..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_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')
-- 
2.11.0