C#: Address review comments from hvitved.

This commit is contained in:
Michael Nebel 2021-12-03 11:12:31 +01:00
Родитель f00b62df76
Коммит 7ad52e1365
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -93,7 +93,7 @@ class SystemBooleanStruct extends BoolType {
}
/** Data flow for `System.Boolean`. */
private class SystemBoolean32FlowModelCsv extends SummaryModelCsv {
private class SystemBooleanFlowModelCsv extends SummaryModelCsv {
override predicate row(string row) {
row =
[