diff --git a/src/compiler/displayProcessing.ml b/src/compiler/displayProcessing.ml index 05e45f4c3fd..b835226570c 100644 --- a/src/compiler/displayProcessing.ml +++ b/src/compiler/displayProcessing.ml @@ -48,7 +48,7 @@ let handle_display_argument_old com file_pos actx = | "diagnostics" -> com.report_mode <- RMLegacyDiagnostics [file_unique]; let dm = create DMNone in - {dm with dms_display_file_policy = DFPOnly; dms_per_file = true} + {dm with dms_display_file_policy = DFPOnly; dms_per_file = true; dms_populate_cache = false} | "statistics" -> com.report_mode <- RMStatistics; let dm = create DMNone in