[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 "";
- Buffer.add_string buff tag;
- Buffer.add_string buff ">"
+ add "";
+ add tag;
+ 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 ("