Hey Gaby. can you make sure /include/bits/std_except.h /src/stdexcept.cc are both up-to-date? It sounds like one of them is out-of-sync. -benjamin