diff options
Diffstat (limited to 'otherlibs/labltk/browser')
| -rw-r--r-- | otherlibs/labltk/browser/lexical.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/lexical.ml b/otherlibs/labltk/browser/lexical.ml index 09dfc6f1d..006291c26 100644 --- a/otherlibs/labltk/browser/lexical.ml +++ b/otherlibs/labltk/browser/lexical.ml @@ -83,6 +83,7 @@ let tag ?(:start=tstart) ?(:end=tend) tw = | PARSER | PRIVATE | REC + | SHARP | TYPE | VAL | VIRTUAL @@ -105,7 +106,6 @@ let tag ?(:start=tstart) ?(:end=tend) tw = | INFIXOP4 _ | PREFIXOP _ | QUESTION2 - | SHARP -> "infix" | LABEL _ | LABELID _ |