source file of the GNU LilyPond music typesetter
(c) 2005 Han-Wen Nienhuys <hanwen@xs4all.nl>
-
*/
#include <map>
String
map_file_name (String s)
{
- if (file_name_map_global.find (s) != file_name_map_global.end ())
+ if (file_name_map_global.find (s) != file_name_map_global.end ())
{
s = file_name_map_global[s];
}