diff options
Diffstat (limited to 'src/parser/cvc/cvc.h')
-rw-r--r-- | src/parser/cvc/cvc.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/cvc/cvc.h b/src/parser/cvc/cvc.h index e14f1bc7a..e20e041cc 100644 --- a/src/parser/cvc/cvc.h +++ b/src/parser/cvc/cvc.h @@ -38,10 +38,9 @@ class Cvc : public Parser protected: Cvc(api::Solver* solver, SymbolManager* sm, - Input* input, bool strictMode = false, bool parseOnly = false) - : Parser(solver, sm, input, strictMode, parseOnly) + : Parser(solver, sm, strictMode, parseOnly) { } }; |