diff options
Diffstat (limited to 'src/parser/smt/smt_parser.h')
-rw-r--r-- | src/parser/smt/smt_parser.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/smt/smt_parser.h b/src/parser/smt/smt_parser.h index a68f0e783..6927888cf 100644 --- a/src/parser/smt/smt_parser.h +++ b/src/parser/smt/smt_parser.h @@ -31,8 +31,7 @@ class CVC4_PUBLIC SmtParser : public Parser { public: /** - * Construct the parser that uses the given expression manager and parses - * from the given input stream. + * Construct the parser that uses the given expression manager and input stream. * @param em the expression manager to use * @param input the input stream to parse * @param file_name the name of the file (for diagnostic output) |