X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Funtyped_evaluator_complete.ml;h=51efce9182a1a1fc3d14068e3306f457c0ab184a;hp=930491f1defa8c9871361fdc7964b97daa1f66c7;hb=f7772d76917427a2c0e00e7bbc0cf78245f966cd;hpb=d2cd63fe26f3777ee6fb7a6005bf28e30c0381f0

diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml
index 930491f1..51efce91 100644
--- a/code/untyped_evaluator_complete.ml
+++ b/code/untyped_evaluator_complete.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.