VERIFY( p != bad);
// 1 "if file is not positioned at its beginning" fails...
- locale loc_de = __gnu_cxx_test::try_named_locale("de_DE");
+ locale loc_de = __gnu_test::try_named_locale("de_DE");
locale ret = ob.pubimbue(loc_de);
VERIFY( ob.getloc() == loc );
}