diff options
author | Paul Eggert <[email protected]> | 2011-12-18 22:21:24 -0800 |
---|---|---|
committer | Paul Eggert <[email protected]> | 2011-12-18 22:21:24 -0800 |
commit | 99d990817cac77ba755b4e31722c44f6f6bbe3b0 (patch) | |
tree | 20ede6f28ea8785e182ee29d753a547409dd39c4 /test/indent/prolog.prolog | |
parent | 3771cb1735b47102e7f94187bcdeb1a4644a557e (diff) |
Spelling fixes.
Diffstat (limited to 'test/indent/prolog.prolog')
-rw-r--r-- | test/indent/prolog.prolog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/indent/prolog.prolog b/test/indent/prolog.prolog index 6cb5535fe8..8af21877b5 100644 --- a/test/indent/prolog.prolog +++ b/test/indent/prolog.prolog @@ -200,7 +200,7 @@ elaborate(fix(F,T,B,E), Env, Ee) :- elaborate(let(F,T,app(fix,lambda(F,T,B)),E), Env, Ee). %% elab_bindings(+TS, +Env, -TS). -%% Applique `elaborate' sur l'environnment de type TS. +%% Applique `elaborate' sur l'environnement de type TS. elab_tenv([], _, []). elab_tenv([(X,T)|TS], Env, [(X, Tg)|TSe]) :- elaborate(T, Env, Te), |