diff --git a/wcclrun/main.cpp b/wcclrun/main.cpp index 25cd57f31599d6a67af540cdea39760bb8f8d993..f06d2c9da47d385e861394ba7f12de51e8183df0 100644 --- a/wcclrun/main.cpp +++ b/wcclrun/main.cpp @@ -287,7 +287,7 @@ int main(int argc, char** argv) operator_strings.push_back(f); } } - if (corpora_files.empty() || (operator_strings.empty() && !output_orths)) { + if ((corpora_files.empty() && !corpus_stdin) || (operator_strings.empty() && !output_orths)) { std::cerr << "Nothing to do, try " << argv[0] << " -h\n"; return 2; }