Commit c4af8f2b authored by Heiko Becker's avatar Heiko Becker

resolve discussion

parent 34fe655b
......@@ -272,7 +272,7 @@ trait RoundoffEvaluators extends RangeEvaluators {
val rndoff = if (idPrec < valuePrec) { // we need to cast down
val valueRange = rangeMap(value)
val err = computeNewError(valueRange, valueRndoff, idPrec)
val _ = intermediateErrors += (Downcast(value,FinitePrecisionType(idPrec)) -> err)
intermediateErrors += (Downcast(value,FinitePrecisionType(idPrec)) -> err)
err
} else {
valueRndoff
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment