diff options
| -rw-r--r-- | src/parser/smt2/Smt2.g | 2 | ||||
| -rw-r--r-- | src/util/rational_cln_imp.h | 2 | ||||
| -rw-r--r-- | src/util/rational_gmp_imp.h | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 84d75ceac..2b331c58a 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1196,7 +1196,7 @@ fragment NUMERAL * Matches a decimal constant from the input. */ DECIMAL_LITERAL - : NUMERAL '.' DIGIT+ + : NUMERAL '.' DIGIT* ; /** diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index c2da0e7ed..583983829 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -310,7 +310,7 @@ struct RationalHashStrategy { } };/* struct RationalHashStrategy */ -std::ostream& operator<<(std::ostream& os, const Rational& n); +CVC4_PUBLIC std::ostream& operator<<(std::ostream& os, const Rational& n); }/* CVC4 namespace */ diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index ef0720263..95a15bc5a 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -292,7 +292,7 @@ struct RationalHashStrategy { } };/* struct RationalHashStrategy */ -std::ostream& operator<<(std::ostream& os, const Rational& n); +CVC4_PUBLIC std::ostream& operator<<(std::ostream& os, const Rational& n); }/* CVC4 namespace */ |