forgot to clean up workspace in source

diff --git a/src/soc/fu/trap/formal/proof_main_stage.py b/src/soc/fu/trap/formal/proof_main_stage.py
index 7d8655bfcdf2b554f0028945050c90f9d7f986ab..10fa29ff0f9c56b3661b25e9621e1f5374b7e68d 100644 (file)
--- a/src/soc/fu/trap/formal/proof_main_stage.py
+++ b/src/soc/fu/trap/formal/proof_main_stage.py
@@ -9,12 +9,7 @@ Links:
 
 import unittest
 
-from nmigen import (
-    Cat,
-    Const,
-    Elaboratable, 
-    Module, 
-)
+from nmigen import Cat, Const, Elaboratable, Module
 from nmigen.asserts import Assert, AnyConst
 from nmigen.cli import rtlil