Parent Directory
|
Revision Log
|
Patch
| revision 126 by abate, Tue Jul 10 17:08:41 2007 UTC | revision 129 by abate, Tue Jul 10 17:08:54 2007 UTC | |
|---|---|---|
| # | Line 139 | Line 139 |
| 139 | string (Print_xml.string_of_xml v) | string (Print_xml.string_of_xml v) |
| 140 | ||
| 141 | and eval_print v = | and eval_print v = |
| 142 | Location.protect_op "print"; | |
| 143 | let s = get_string v in | let s = get_string v in |
| 144 | print_endline s; | print_endline s; |
| 145 | Value.nil | Value.nil |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |