From 9d87f261455e27b067cc786b5c8e7a42822b8bf3 Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Wed, 29 Jan 2025 11:56:39 +0100 Subject: [PATCH] Shared: Use `strictconcat` in model generator printing --- .../mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll b/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll index 7cd4906ac660..0ab92f7032b4 100644 --- a/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll +++ b/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll @@ -37,14 +37,14 @@ module ModelPrintingImpl { * Computes the first columns for MaD rows used for summaries, sources and sinks. */ private string asPartialModel(Lang::Callable api) { - result = concat(int i | | Lang::partialModelRow(api, i), ";" order by i) + ";" + result = strictconcat(int i | | Lang::partialModelRow(api, i), ";" order by i) + ";" } /** * Computes the first columns for neutral MaD rows. */ private string asPartialNeutralModel(Printing::SummaryApi api) { - result = concat(int i | | Lang::partialNeutralModelRow(api, i), ";" order by i) + ";" + result = strictconcat(int i | | Lang::partialNeutralModelRow(api, i), ";" order by i) + ";" } /**