Where is this used?

[Paolo Carlini]

Sergi Blanch i Torné wrote:

>You mean it was made for and old c++ lib, or it was compiled with this old 
>version?
>
libISL.so has been compiled including that old, so.5.0.x, version of the 
C++ headers: what is happening now is that the corresponding out-of-line 
__default_alloc_template functions, exported by the 5.0.x library, are 
not found. Something is definitely misconfigured on your system... Well, 
this issue isn't really appropriate for this list, which is about 
libstdc++ *development*... ;)

Paolo.