Fix a few minor issues in options processing, improving usability, consistency, error-reporting, and documentation.

1 files changed, 4 insertions, 1 deletions

diff --git a/src/options/options.h b/src/options/options.h
index c966670f5..4f7e2a692 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -24,6 +24,7 @@
 #include <iostream>
 #include <fstream>
 #include <string>
+#include <vector>
 
 #include "options/option_exception.h"
 #include "util/language.h"
@@ -120,8 +121,10 @@ public:
 
   /**
    * Initialize the options based on the given command-line arguments.
+   * The return value is what's left of the command line (that is, the
+   * non-option arguments).
    */
-  int parseOptions(int argc, char* argv[]) throw(OptionException);
+  std::vector<std::string> parseOptions(int argc, char* argv[]) throw(OptionException);
 
   /**
    * Set the output language based on the given string.