diff options
| author | Hieu Hoang <hieu@hoang.co.uk> | 2014-05-21 21:33:51 +0400 |
|---|---|---|
| committer | Hieu Hoang <hieu@hoang.co.uk> | 2014-05-21 21:33:51 +0400 |
| commit | 5353df3ee874121e9e493f2da3a2c5b3780f888a (patch) | |
| tree | 20fdca5ebb4d9c62d7e5780c2ac5fe533f6ecf9b /contrib/other-builds/extract-mixed-syntax | |
| parent | bcff66b4915aebe1b21c171cca0bd5f97eb94cf2 (diff) | |
--NoNieceTerminal in extract-mixed-syntax
Diffstat (limited to 'contrib/other-builds/extract-mixed-syntax')
| -rw-r--r-- | contrib/other-builds/extract-mixed-syntax/Main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/other-builds/extract-mixed-syntax/Main.cpp b/contrib/other-builds/extract-mixed-syntax/Main.cpp index 1ffefd18e..4b5eb89f5 100644 --- a/contrib/other-builds/extract-mixed-syntax/Main.cpp +++ b/contrib/other-builds/extract-mixed-syntax/Main.cpp @@ -49,7 +49,7 @@ int main(int argc, char** argv) */ if ( vm.count("help") || argc < 5 ) { - std::cout << argv[0] << "target source alignment [options...]" << std::endl + std::cout << argv[0] << " target source alignment [options...]" << std::endl << desc << std::endl; return EXIT_SUCCESS; } |