Parent Directory
|
Revision Log
|
Patch
| revision 1452 by abate, Tue Jul 10 18:49:58 2007 UTC | revision 1453 by abate, Tue Jul 10 18:51:16 2007 UTC | |
|---|---|---|
| # | Line 343 | Line 343 |
| 343 | stack := tl; | stack := tl; |
| 344 | Some (E_char_data v) | Some (E_char_data v) |
| 345 | | [] -> None | | [] -> None |
| 346 | | _ -> assert false | | _ -> |
| 347 | failwith "Non XML element" | |
| 348 | in | in |
| 349 | Stream.from f | Stream.from f |
| 350 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |