X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fski_evaluator.ml;h=f0b4d1669e045bc2c7fee82ef0503ccc9e532be2;hp=15ee4a7766818dc84a551648da8b016897fd5da7;hb=e1626ef4172d63a6bd74cbd8ab0fe56bb8ef8775;hpb=7ea03edf218ad5b63cd7ee0faa33391e1f3893ae

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'