diff options
Diffstat (limited to 'src/logger.cpp')
| -rw-r--r-- | src/logger.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/logger.cpp b/src/logger.cpp index 2c2fa11..692c462 100644 --- a/src/logger.cpp +++ b/src/logger.cpp @@ -223,6 +223,7 @@ void dumpWI(Node *const node, dumpWIProps(" checkedNullVars:", wi.checkedNullVars) dumpWIProps(" checkedNonNullVars:", wi.checkedNonNullVars) dumpWIProps(" checkNullVars:", wi.checkNullVars) + dumpWIProps(" knownVars:", wi.knownVars) dumpWIProps(" removeNullVars:", wi.removeNullVars) dumpWIProps(" addNullVars:", wi.addNullVars) |