From: Samuel A. Falvo II <kc5tja@arrl.net>
Date: Sat, 18 Jul 2020 00:05:26 +0000 (-0700)
Subject: forgot to clean up workspace in source
X-Git-Tag: semi_working_ecp5~697^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bc29a4bdf1c8c998204262205d64bf9b3a554aff;p=soc.git

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 7d8655bf..10fa29ff 100644
--- 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