papasmurf4 / hol-light

Automatically exported from code.google.com/p/hol-light
Other
0 stars 0 forks source link

string_of_term ignores the current line length #12

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
Here's a patch to the print_to_string function that accesses the current line 
length using a call to get_margin before printing the argument to a string. I 
also recoded the print_to_string function in terms of ocaml buffers, instead of 
a string reference.

The patchfile can be applied using the command

patch -p0 < patchfile

Original issue reported on code.google.com by joe.h...@gmail.com on 3 Mar 2014 at 12:37

Attachments:

GoogleCodeExporter commented 9 years ago
Thanks, this has also been incorporated in r184

Original comment by jrh...@gmail.com on 10 Mar 2014 at 5:00