diff --git a/src/CLI.cpp b/src/CLI.cpp index 1ee6d446d..207e7acdb 100644 --- a/src/CLI.cpp +++ b/src/CLI.cpp @@ -761,7 +761,7 @@ void CLI::categorize () { std::string raw = a->attribute ("raw"); - if (raw == "--") + if (! terminated && raw == "--") { a->tag ("ORIGINAL"); a->tag ("TERMINATOR");