Browse Source

Don't populate cache from legacy diagnostics (#11696)

Rudy Ges 1 year ago
parent
commit
d710be3dad
1 changed files with 1 additions and 1 deletions
  1. 1 1
      src/compiler/displayProcessing.ml

+ 1 - 1
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