diff options
Diffstat (limited to 'src/theory/fp')
-rw-r--r-- | src/theory/fp/theory_fp_type_rules.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/fp/theory_fp_type_rules.h b/src/theory/fp/theory_fp_type_rules.h index 296a2f475..8dddf5065 100644 --- a/src/theory/fp/theory_fp_type_rules.h +++ b/src/theory/fp/theory_fp_type_rules.h @@ -180,7 +180,7 @@ class FloatingPointRoundingOperationTypeRule { for (size_t i = 2; i < children; ++i) { if (!(n[i].getType(check) == firstOperand)) { throw TypeCheckingExceptionPrivate( - n, "floating-point test applied to mixed sorts"); + n, "floating-point operation applied to mixed sorts"); } } } |