diff options
Diffstat (limited to 'src/compat/cvc3_compat.h')
-rw-r--r-- | src/compat/cvc3_compat.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/compat/cvc3_compat.h b/src/compat/cvc3_compat.h index 63df75a68..2798c5b3c 100644 --- a/src/compat/cvc3_compat.h +++ b/src/compat/cvc3_compat.h @@ -747,7 +747,11 @@ public: InputLanguage lang = PRESENTATION_LANG); //! Parse an expression from a presentation language string - virtual Expr exprFromString(const std::string& e); + /*! Only PRESENTATION_LANG and SMTLIB_V2_LANG are supported. Any other + * value for lang will raise an exception. + */ + virtual Expr exprFromString(const std::string& e, + InputLanguage lang = PRESENTATION_LANG); /*@}*/ // End of General Expr Methods |