diff options
Diffstat (limited to 'src/nodedumper.cc')
-rw-r--r-- | src/nodedumper.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/nodedumper.cc b/src/nodedumper.cc index 0e66e5b..a8de089 100644 --- a/src/nodedumper.cc +++ b/src/nodedumper.cc @@ -8,6 +8,7 @@ #include <sstream> #include <iostream> +#include <assert.h> // For compatibility with old dump() output #define NODEDUMPER_COMPAT_MODE |