Shared: Use strictconcat in model generator printing

github · Jan 29, 2025 · 9d87f26 · 9d87f26
1 parent 7055095
commit 9d87f26
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll b/shared/mad/codeql/mad/modelgenerator/internal/ModelPrinting.qll
@@ -37,14 +37,14 @@ module ModelPrintingImpl<ModelPrintingLangSig Lang> {
      * 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) + ";"
     }
 
     /**