Disable syntax coloring

It seems that the earlier attempt at doing this was not enough
IntelLabs · Dec 31, 2024 · 0a50122 · 0a50122
1 parent 46819f2
commit 0a50122
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/asli.ml b/bin/asli.ml
@@ -395,8 +395,8 @@ let _ =
   Arg.parse options (fun s -> opt_filenames := !opt_filenames @ [ s ]) usage_msg
 
 let main () =
-  Ocolor_format.prettify_formatter Format.std_formatter;
   if not !opt_batchmode then begin
+    Ocolor_format.prettify_formatter Format.std_formatter;
     Ocolor_config.set_color_capability Ocolor_config.Color4
   end;
   let paths = Option.value (Sys.getenv_opt "ASL_PATH") ~default:"."