diff --git a/devito/operator/operator.py b/devito/operator/operator.py index 4ede88e16f..7531294a49 100644 --- a/devito/operator/operator.py +++ b/devito/operator/operator.py @@ -963,7 +963,8 @@ def _emit_apply_profiling(self, args): v = summary.globals.get('vanilla') if v is not None: - metrics.append("OI=%.2f" % fround(v.oi)) + if v.oi is not None: + metrics.append("OI=%.2f" % fround(v.oi)) metrics.append("%.2f GFlops/s" % fround(v.gflopss)) v = summary.globals.get('fdlike')