diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix missing !

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-08-06 01:18:58 +01:00
parent e4a76d7f1e
commit fcbd2b34fe
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/coinduction.yap
View File

@ -165,7 +165,7 @@ user:term_expansion(G, NG) :-
%----------------------------------------------------- %-----------------------------------------------------
in_stack(_, V, V) :- var(V), !. in_stack(_, V, V) :- var(V), !.
in_stack(G, [G|_], [G|_]). in_stack(G, [G|_], [G|_]) :- !.
in_stack(G, [_|T], End) :- in_stack(G, T, End). in_stack(G, [_|T], End) :- in_stack(G, T, End).
writeG_val(G_var) :- writeG_val(G_var) :-