diff --git a/pymwp/result.py b/pymwp/result.py index 5ad17dc..ea9858b 100644 --- a/pymwp/result.py +++ b/pymwp/result.py @@ -192,6 +192,7 @@ def add_relation(self, func_result: FuncResult) -> None: if not func_result.infinite: if func_result.bound: logger.info(f'Bound: {Bound.show_poly(func_result.bound)}') + logger.info(f'Bounds: {func_result.n_bounds}') else: logger.info('Some bound exists') if func_result.infinite: