diff options
Diffstat (limited to 'otherlibs/labltk/browser/lexical.ml')
| -rw-r--r-- | otherlibs/labltk/browser/lexical.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/lexical.ml b/otherlibs/labltk/browser/lexical.ml index 8c1209a66..ab0267efa 100644 --- a/otherlibs/labltk/browser/lexical.ml +++ b/otherlibs/labltk/browser/lexical.ml @@ -95,6 +95,7 @@ let tag ?(:start=tstart) ?(:end=tend) tw = | SHARP -> "infix" | LABEL _ + | LABELID _ | QUESTION -> "label" | UIDENT _ -> "uident" |