From 9acae90cbdaed55c19baa37e98cd6895e925d739 Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Wed, 30 Mar 2022 18:02:08 +1100 Subject: [PATCH] Fix spelling. samples/interpreter.m: As above. --- samples/interpreter.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/samples/interpreter.m b/samples/interpreter.m index a847ee6f9..62aafc462 100644 --- a/samples/interpreter.m +++ b/samples/interpreter.m @@ -333,7 +333,7 @@ var_occurs_in_terms(VarX, [TermY | TermsY], VarSet) :- % apply_rec_substitution(VarSet, Term0, Term): % - % Recursively apply substitution to Term0 until no more substitions + % Recursively apply substitution to Term0 until no more substitutions % can be applied, and then return the result in Term. % :- pred apply_rec_substitution(varset::in, term::in, term::out) is det.