CVSROOT: /usr/cvs Changes by: hosking at birch. 10/01/10 06:12:18 Modified files: cm3/m3-sys/m3front/src/exprs/: SubtractExpr.m3 Log message: Adjust bounds to be different than the type's bounds only if both sum bounds are known exactly.