--- /home/richard/include/boost-1_39/boost/iostreams/code_converter.hpp 2009-05-10 14:45:53.000000000 +0100 +++ /home/richard/include/boost-1_39/boost/iostreams/code_converter.hpp.fixed 2009-05-10 14:45:44.000000000 +0100 @@ -152,7 +152,8 @@ } catch (...) { /* */ } } - void open(const Device& dev, int buffer_size) + template + void open(const T& dev, int buffer_size) { if (flags_ & f_open) throw BOOST_IOSTREAMS_FAILURE("already open");