diff options
| author | Paul Eggert | 2011-12-18 22:21:24 -0800 |
|---|---|---|
| committer | Paul Eggert | 2011-12-18 22:21:24 -0800 |
| commit | 99d990817cac77ba755b4e31722c44f6f6bbe3b0 (patch) | |
| tree | 20ede6f28ea8785e182ee29d753a547409dd39c4 /test | |
| parent | 3771cb1735b47102e7f94187bcdeb1a4644a557e (diff) | |
| download | emacs-99d990817cac77ba755b4e31722c44f6f6bbe3b0.tar.gz emacs-99d990817cac77ba755b4e31722c44f6f6bbe3b0.zip | |
Spelling fixes.
Diffstat (limited to 'test')
| -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 6cb5535fe8d..8af21877b59 100644 --- a/test/indent/prolog.prolog +++ b/test/indent/prolog.prolog | |||
| @@ -200,7 +200,7 @@ elaborate(fix(F,T,B,E), Env, Ee) :- | |||
| 200 | elaborate(let(F,T,app(fix,lambda(F,T,B)),E), Env, Ee). | 200 | elaborate(let(F,T,app(fix,lambda(F,T,B)),E), Env, Ee). |
| 201 | 201 | ||
| 202 | %% elab_bindings(+TS, +Env, -TS). | 202 | %% elab_bindings(+TS, +Env, -TS). |
| 203 | %% Applique `elaborate' sur l'environnment de type TS. | 203 | %% Applique `elaborate' sur l'environnement de type TS. |
| 204 | elab_tenv([], _, []). | 204 | elab_tenv([], _, []). |
| 205 | elab_tenv([(X,T)|TS], Env, [(X, Tg)|TSe]) :- | 205 | elab_tenv([(X,T)|TS], Env, [(X, Tg)|TSe]) :- |
| 206 | elaborate(T, Env, Te), | 206 | elaborate(T, Env, Te), |