File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
shared/mad/codeql/mad/modelgenerator/internal Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -37,14 +37,14 @@ module ModelPrintingImpl<ModelPrintingLangSig Lang> {
37
37
* Computes the first columns for MaD rows used for summaries, sources and sinks.
38
38
*/
39
39
private string asPartialModel ( Lang:: Callable api ) {
40
- result = concat ( int i | | Lang:: partialModelRow ( api , i ) , ";" order by i ) + ";"
40
+ result = strictconcat ( int i | | Lang:: partialModelRow ( api , i ) , ";" order by i ) + ";"
41
41
}
42
42
43
43
/**
44
44
* Computes the first columns for neutral MaD rows.
45
45
*/
46
46
private string asPartialNeutralModel ( Printing:: SummaryApi api ) {
47
- result = concat ( int i | | Lang:: partialNeutralModelRow ( api , i ) , ";" order by i ) + ";"
47
+ result = strictconcat ( int i | | Lang:: partialNeutralModelRow ( api , i ) , ";" order by i ) + ";"
48
48
}
49
49
50
50
/**
You can’t perform that action at this time.
0 commit comments