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=6ee4185debd7b5401900080ace6d0445c08853f5;hpb=ceae1e4bf2750f41be16e79de939865e3553463c

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'