fix meta-goal expansion
This commit is contained in:
parent
7acb2110d2
commit
4ed4e776e6
@ -117,7 +117,7 @@ followed by the failure of that call.
|
|||||||
'$handle_error'(0x0020,_Goal,_Mod) :-
|
'$handle_error'(0x0020,_Goal,_Mod) :-
|
||||||
fail.
|
fail.
|
||||||
|
|
||||||
'$complete_goal'(M, G, CurMod, CurG, NG) :-
|
'$complete_goal'(M, G, CurG, CurMod, NG) :-
|
||||||
(
|
(
|
||||||
'$is_metapredicate'(CurG,CurMod)
|
'$is_metapredicate'(CurG,CurMod)
|
||||||
->
|
->
|
||||||
|
Reference in New Issue
Block a user