2 files changed, 0 insertions, 9 deletions
diff --git a/lib/flags.ml b/lib/flags.ml
index 993ebaa705..f95c31d9b8 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -141,11 +141,6 @@ let verbosely f x = without_option silent f x
 let if_silent f x = if !silent then f x
 let if_verbose f x = if not !silent then f x
 
-(* Use terminal color *)
-let term_color = ref false
-let make_term_color b = term_color := b
-let is_term_color () = !term_color
-
 let auto_intros = ref true
 let make_auto_intros flag = auto_intros := flag
 let is_auto_intros () = version_strictly_greater V8_2 && !auto_intros
diff --git a/lib/flags.mli b/lib/flags.mli
index cfc3d5001e..757563926c 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -79,10 +79,6 @@ val if_verbose : ('a -> unit) -> 'a -> unit
 val make_auto_intros : bool -> unit
 val is_auto_intros : unit -> bool
 
-(** Terminal colouring *)
-val make_term_color : bool -> unit
-val is_term_color : unit -> bool
-
 val program_mode : bool ref
 val is_program_mode : unit -> bool