From e04f826fa9b2517b3deb4272e6460f2d0e65c240 Mon Sep 17 00:00:00 2001 From: tali Date: Fri, 19 Jan 2024 14:23:29 -0500 Subject: [PATCH] remove incorrect Ansi.int_of_color --- lib/ansi.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/lib/ansi.ml b/lib/ansi.ml index cac51fc..1deeea8 100644 --- a/lib/ansi.ml +++ b/lib/ansi.ml @@ -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"