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

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.