diff options
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 968cef57114..8b96cd56a33 100644 --- a/test/indent/prolog.prolog +++ b/test/indent/prolog.prolog @@ -150,7 +150,7 @@ generalize(Ee, Te, Env, Eg, Tg) :- %% instantiate(+X, +T, -E) %% Utilise la variable X de type T. Le résultat E est X auquel on ajoute %% tous les arguments implicites (de valeur inconnue). -instantiate(X, T, X) :- var(T), ! . +instantiate(X, T, X) :- var(T), !. instantiate(X, forall(_, _, T), app(E, _)) :- !, instantiate(X, T, E). instantiate(X, _, X). |