diff options
Diffstat (limited to 'src/nodedumper.cc')
| -rw-r--r-- | src/nodedumper.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nodedumper.cc b/src/nodedumper.cc index 4523bac..d2905c0 100644 --- a/src/nodedumper.cc +++ b/src/nodedumper.cc @@ -1,5 +1,6 @@ #include "nodedumper.h" #include "state.h" +#include "module.h" #include <string> #include <sstream> @@ -47,6 +48,7 @@ std::string NodeDumper::dumpChildren(const AbstractNode &node) iter != this->visitedchildren[node.index()].end(); iter++) { assert(isCached(**iter)); + if ((*iter)->modinst->isBackground()) dump << "%"; dump << this->cache[**iter] << "\n"; } |