diff options
Diffstat (limited to 'common/Session.hpp')
-rw-r--r-- | common/Session.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/Session.hpp b/common/Session.hpp index aa585a559f..8171fef64d 100644 --- a/common/Session.hpp +++ b/common/Session.hpp @@ -168,7 +168,7 @@ protected: /// Parses the options of the "load" command, /// shared between MasterProcessSession::loadDocument() and ChildProcessSession::loadDocument(). - void parseDocOptions(const std::vector<std::string>& tokens, int& part, std::string& timestamp, std::string& doctemplate); + void parseDocOptions(const StringVector& tokens, int& part, std::string& timestamp, std::string& doctemplate); void updateLastActivityTime() { |