toplev: Avoid Metric_Time warning

toplev.py

@@ -1105,7 +1105,7 @@ def print_res(self, res, rev, out, timestamp, title, env, smt, referenced):
             if obj.res_map:
                 obj.compute(lambda e, level:
                             lookup_res(res, rev, e, obj, env, level, referenced))
-            else:
+            elif obj.name != "Time":
                 print >>sys.stderr, "%s not measured" % (obj.__class__.__name__,)
         out.logf.flush()