From: Jim <jim.pryor@nyu.edu>
Date: Thu, 19 Mar 2015 16:33:22 +0000 (-0400)
Subject: update code
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=6ee4185debd7b5401900080ace6d0445c08853f5

update code
---

diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml
index 15ee4a77..f0b4d166 100644
--- a/code/ski_evaluator.ml
+++ b/code/ski_evaluator.ml
@@ -28,5 +28,5 @@ let rec reduce_lazy (t:term):term = match t with
   | App (a, b) ->
       let t' = App (reduce_lazy a, b) in
       if (is_redex t') then let t'' = reduce_if_redex t'
-                            in reduce_lazt t''
+                            in reduce_lazy t''
                        else t'