diff options
Diffstat (limited to 'tangle/030tangle.cc')
| -rw-r--r-- | tangle/030tangle.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tangle/030tangle.cc b/tangle/030tangle.cc index 57a10a9e..618d7fa1 100644 --- a/tangle/030tangle.cc +++ b/tangle/030tangle.cc @@ -197,7 +197,7 @@ void process_next_hunk(istream& in, const string& directive, const string& filen return; } - raise << "unknown directive " << cmd << '\n'; + raise << "unknown directive " << cmd << '\n' << die(); } list<Line>::iterator locate_target(list<Line>& out, istream& directive_stream) { |