mirror of
https://github.com/comby-tools/comby.git
synced 2024-09-11 13:25:36 +03:00
remove old part of mli doc
This commit is contained in:
parent
ac8ac4ab8a
commit
a2ad280fe8
@ -318,14 +318,6 @@ module Matchers : sig
|
||||
; Regex (":[", '~', "]")
|
||||
]
|
||||
|
||||
let default_identifier =
|
||||
function
|
||||
| 'a' .. 'z'
|
||||
| 'A' .. 'Z'
|
||||
| '0' .. '9'
|
||||
| '_' -> true
|
||||
| _ -> false
|
||||
|
||||
let default_identifier =
|
||||
"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789_"
|
||||
*)
|
||||
|
Loading…
Reference in New Issue
Block a user