diff options
Diffstat (limited to 'tools/ward.c')
| -rw-r--r-- | tools/ward.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/ward.c b/tools/ward.c index 19d9d02..b6f5a15 100644 --- a/tools/ward.c +++ b/tools/ward.c @@ -114,8 +114,9 @@ int main(int _argc, const char** _argv){ exit(ex_usage); } - int rslt = mysk.headers(cin, cout); + int rslt = mysk.headers(cin); if (rslt) return rslt; + mysk.dump_headers(cout); // Headers are done. // Do some early-stage thinking. |