Correct linting

util/trace/gen_trace.py

@@ -30,13 +30,11 @@
 
 import sys
 import re
-import math
 import argparse
 import json
 from ctypes import c_int32, c_uint32
 from collections import deque, defaultdict
 import pathlib
-from decimal import Decimal
 
 EXTRA_WB_WARN = 'WARNING: {} transactions still in flight for {}.'
 
@@ -427,6 +425,7 @@ def flt_oper(insn: str, extras: dict, port: int) -> (str, str):
         return REG_ABI_NAMES_F[extras[oper_type]], flt_lit(enc, fmt, vlen=vlen)
     return reg, lit
 
+
 def flt_decode(val: int, fmt: int) -> float:
     """Interprets the binary encoding of an integer as a FP value.