From d710be3dad4baa998defbb5d7a012ffe2293f2f9 Mon Sep 17 00:00:00 2001 From: Rudy Ges Date: Wed, 19 Jun 2024 15:22:55 +0200 Subject: [PATCH] Don't populate cache from legacy diagnostics (#11696) --- src/compiler/displayProcessing.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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