diff options
| -rw-r--r-- | src/theory/fp/theory_fp.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/fp/theory_fp.cpp b/src/theory/fp/theory_fp.cpp index 6a4dc542e..788545b3c 100644 --- a/src/theory/fp/theory_fp.cpp +++ b/src/theory/fp/theory_fp.cpp @@ -902,7 +902,8 @@ void TheoryFp::preRegisterTerm(TNode node) << sig_sz << " is not supported, only Float32 (8/24) or Float64 (11/53) types " "are supported in default mode. Try the experimental solver via " - "--fp-exp"; + "--fp-exp. Note: There are known issues with the experimental " + "solver, use at your own risk."; throw LogicException(ss.str()); } } |