diff options
| author | Stefan Monnier | 2012-03-25 16:37:21 -0400 |
|---|---|---|
| committer | Stefan Monnier | 2012-03-25 16:37:21 -0400 |
| commit | 699c782b7668c44d0fa4446331b0590a6d5dac82 (patch) | |
| tree | 5dcce364741d0761920a3d274b0fc8aba4103d45 /test/indent/prolog.prolog | |
| parent | 98fb480ee31bf74cf554044f60f21df16566dd7f (diff) | |
| parent | e99a9b8bdccadded1f6fae88ee7a2a93dfd4eacf (diff) | |
| download | emacs-pending.tar.gz emacs-pending.zip | |
Merge from trunkpending
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 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), |