]>
Commit | Line | Data |
---|---|---|
e8fa8b1b MM |
1 | diff -ur pxp-1.1.4/src/pxp-wlex/pxp_wlex.mlw pxp-1.1.4-/src/pxp-wlex/pxp_wlex.mlw |
2 | --- pxp-1.1.4/src/pxp-wlex/pxp_wlex.mlw Fri Mar 15 23:16:45 2002 | |
3 | +++ pxp-1.1.4-/src/pxp-wlex/pxp_wlex.mlw Sun May 12 00:10:10 2002 | |
4 | @@ -28,6 +28,8 @@ | |
5 | ||
6 | let dummy_entity = ( new dummy_entity : entity_id ) | |
7 | ||
8 | + let sub_lexeme lb st ln = String.sub (Lexing.lexeme lb) st ln | |
9 | + | |
10 | (* The following tokens are pre-allocated to reduce the load on the | |
11 | * GC. | |
12 | *) |