>>>>> "Basile" == Basile Starynkevitch <basile@starynkevitch.net> writes: Basile> It is not libcpp/include/input.h but libcpp/include/line-map.h Basile> where I dared commiting the following change (only on comments) For avoidance of doubt, this is ok. This comment should have been deleted long ago. Tom