[MINOR: factorization of 'Buffer.add_string buff'. argot@x9c.fr**20110714034141 Ignore-this: 930db51a44c4fecf69b189ca1721de81 ] hunk ./src/main.ml 52 - Buffer.add_string buff "<"; - Buffer.add_string buff tag; + let add = Buffer.add_string buff in + add "<"; + add tag; hunk ./src/main.ml 57 - Buffer.add_string buff " "; - Buffer.add_string buff name; - Buffer.add_string buff "=\""; - Buffer.add_string buff value; - Buffer.add_string buff "\"") + add " "; + add name; + add "=\""; + add value; + add "\"") hunk ./src/main.ml 63 - Buffer.add_string buff ">"; - Buffer.add_string buff + add ">"; + add hunk ./src/main.ml 68 - Buffer.add_string buff "" + add "" hunk ./src/main.ml 73 + let add = Buffer.add_string buff in hunk ./src/main.ml 129 - Buffer.add_string buff contents + add contents hunk ./src/main.ml 134 - Buffer.add_string buff "\"";" + add "\"";" hunk ./src/main.ml 145 - Buffer.add_string buff "\n"; - Buffer.add_string buff ("...\n"); - Buffer.add_string buff ("
\n"); - Buffer.add_string buff "
\n" + add "\n"; + add ("...\n"); + add ("
\n"); + add "
\n"