Where is this used?

[Sergi Blanch i Torné]

Hi,

I have a link error compiling one code. The linker say me that I have no 
reference either:
.../libISL.so: undefined reference to `std::__default_alloc_template<true, 
0>::allocate(unsigned int)'
.../libISL.so: undefined reference to `std::__default_alloc_template<true, 
0>::deallocate(void*, unsigned int)'

Both codes, the program and this isl library, are compiled on my machine but I 
didn't wrote all of this.

My question is, I am not sure this de/allocate are mandatory to be used, and I 
want to discard this errors could come from some garbage. Have this linker 
response any sense for anyone?

/Sergi.