diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-13 22:50:03 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-13 22:50:03 +0000 |
commit | e6d5046baca8b490e2ef93631216fe34e08d6aaa (patch) | |
tree | d5108bb30eebf4472ff070a274e909b7041ff9ba /src/parser/input.h | |
parent | 6cdc7f3211ac5b034192b73b39868a446521f792 (diff) |
Doxygen fixes
Diffstat (limited to 'src/parser/input.h')
-rw-r--r-- | src/parser/input.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index f109036ed..a32416305 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -73,6 +73,7 @@ public: * @param exprManager the ExprManager for creating expressions from the input * @param lang the input language * @param filename the input filename + * @param useMmap true if the parser should use memory-mapped I/O (default: false) */ static Input* newFileInput(ExprManager* exprManager, InputLanguage lang, const std::string& filename, bool useMmap=false); |