X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=reduction_with_substitution.ml;fp=code%2Freduction.ml;h=93755b38a9ac915983e002cda0dce7e6b67334ba;hp=188a90b6c5b06147ebc4e97d6c2d688d73680862;hb=ef92642b2173e886c71bed968113f5c68c163e2a;hpb=8cd605a9141eba85196521657010fb7ae6f0ada1

diff --git a/code/reduction.ml b/reduction_with_substitution.ml
similarity index 99%
rename from code/reduction.ml
rename to reduction_with_substitution.ml
index 188a90b6..93755b38 100644
--- a/code/reduction.ml
+++ b/reduction_with_substitution.ml
@@ -49,7 +49,7 @@ let rec substitute (term:lambdaTerm) (ident:identifier) (replacement:lambdaTerm)
     | Abstract(bound_ident, body) when not (free_in bound_ident replacement) ->
         (* can substitute without renaming bound_ident *)
         let body' = substitute body ident replacement
-        in Abstract(bound_ident, body')    
+        in (* COMPLETE THIS LINE *)
     | Abstract(bound_ident, body) ->
         (* find a fresh variable unused in either body or replacement (which we hack by specifying their App) *)
         let bound_ident' = fresh_var bound_ident (App(body,replacement))