remove incorrect Ansi.int_of_color
This commit is contained in:
parent
e5183a44b8
commit
e04f826fa9
|
@ -6,8 +6,6 @@ and color = R | G | Y | U | C
|
|||
|
||||
type t = ctl list
|
||||
|
||||
external int_of_color : color -> int = "%identity"
|
||||
|
||||
let string_of_ctl = function
|
||||
| Bold true -> "1"
|
||||
| Bold false -> "22"
|
||||
|
|
Loading…
Reference in New Issue