avoid factorized trouble

This commit is contained in:
Vítor Santos Costa 2014-02-14 22:44:55 +00:00
parent 12364bb89a
commit 625c66015d
2 changed files with 5 additions and 5 deletions

View File

@ -270,8 +270,8 @@ call_residue(Goal,Module,Residue) :-
delayed_goals(G, Vs, NVs, Gs) :-
project_delayed_goals(G),
term_factorized([G|Vs], [_|NVs], Gs).
% copy_term([G|Vs], [_|NVs], Gs).
% term_factorized([G|Vs], [_|NVs], Gs).
copy_term([G|Vs], [_|NVs], Gs).
project_delayed_goals(G) :-
% SICStus compatible step,

View File

@ -524,9 +524,9 @@ true :- true.
'$clean_ifcp'(CP),
NCP is NCP2-NCP1
;
% copy_term_nat(V, NV),
% LGs = [],
term_factorized(V, NV, LGs),
copy_term_nat(V, NV),
LGs = [],
% term_factorized(V, NV, LGs),
NCP = 0
).