[m-dev.] bug in hlds_pred.m?

[Zoltan Somogyi]

On 29-Jun-2005, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> is_unify_or_compare_pred(PredInfo) :-
> 	pred_info_get_origin(PredInfo, special_pred(_)). % XXX bug

I would guess because solver init predicates are also special_preds.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------