re-enable arit compilation
This commit is contained in:
parent
874fc97970
commit
0a0b3cf6ac
@ -396,7 +396,7 @@ expand_goal(G, G).
|
|||||||
% make built-in processing transparent.
|
% make built-in processing transparent.
|
||||||
'$match_mod'(G, M, ORIG, HM, G1),
|
'$match_mod'(G, M, ORIG, HM, G1),
|
||||||
'$c_built_in'(G1, M, Gi),
|
'$c_built_in'(G1, M, Gi),
|
||||||
G1 = G2.
|
Gi = G2.
|
||||||
'$complete_goal_expansion'(G, GMod, _, HM, NG, NG, _) :-
|
'$complete_goal_expansion'(G, GMod, _, HM, NG, NG, _) :-
|
||||||
'$match_mod'(G, GMod, GMod, HM, NG).
|
'$match_mod'(G, GMod, GMod, HM, NG).
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user