diff options
Diffstat (limited to 'lib/util.ml')
| -rw-r--r-- | lib/util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/util.ml b/lib/util.ml index fcbd969ab..8d8c947c7 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -29,7 +29,7 @@ let pi3 (_,_,a) = a let is_letter c = (c >= 'a' && c <= 'z') or (c >= 'A' && c <= 'Z') let is_digit c = (c >= '0' && c <= '9') let is_ident_tail c = - is_letter c or is_digit c or c = '\'' or c = '_' + is_letter c or is_digit c || c = '\'' or c = '_' let is_blank = function | ' ' | '\r' | '\t' | '\n' -> true | _ -> false |