X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Funtyped_evaluator.ml;h=50092fb25200a5b22fa26ae50f1adb5197c6d2cd;hp=edfc6ee3804898e3f180f4e837a3b4a69d0dd604;hb=579d2f1e8dcf2485a09c6a318f0017c0e577963b;hpb=d2cd63fe26f3777ee6fb7a6005bf28e30c0381f0

diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index edfc6ee3..50092fb2 100644
--- a/code/untyped_evaluator.ml
+++ b/code/untyped_evaluator.ml
@@ -72,7 +72,7 @@ let rec lookup (sought_ident : ident) (env : env) : term option =
    eval raises this exception when it fails to reduce/evaluate
    a term, because it has components for which no
    reduction/evaluation is defined, such as `x y`. The
-   reduction-based interpreter just signals this with a normal
+   substitute-and-repeat interpreter just signals this with a normal
    return value; but the environment-based interpreter uses an
    exception to abort prematurely.