From bc29a4bdf1c8c998204262205d64bf9b3a554aff Mon Sep 17 00:00:00 2001 From: "Samuel A. Falvo II" Date: Fri, 17 Jul 2020 17:05:26 -0700 Subject: [PATCH] forgot to clean up workspace in source --- src/soc/fu/trap/formal/proof_main_stage.py | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) 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 -- 2.30.2