diff --git a/src/dune_config_file/display.ml b/src/dune_config_file/display.ml index eee5b40dc490..aeef2dc5a8cc 100644 --- a/src/dune_config_file/display.ml +++ b/src/dune_config_file/display.ml @@ -44,4 +44,4 @@ let console_backend = function | Simple { status_line; _ } -> ( match status_line with | false -> Dune_console.Backend.dumb - | true -> Dune_console.Backend.progress) + | true -> Dune_threaded_console.progress ())