Re: heap_update_if_smaller

Wided Ouaja wrote:
> 
> Hi Joachim,
> 
> I thought I should report this problem to you.
> I sometimes (actually quite rarely) get the following error:
> 
> "calling an undefined procedure heap_update_if_smaller(..) in module
> graph_algorithms".
> 
> The error seems irreproducible and occurs rarely. It usually disappears
> when I quit and restart eclipse.


That's quite mysterious, I can't see anything wrong with the code.
Are you maybe accidentally loading a different version or local copy
of either lib(graph_algorithms) or lib(heap_array)?

Has anyone from the Eclipse team ever come across a spurious
"calling an undefined procedure" message?

-- Joachim