fix some borked imports

[ieee754fpu.git] / src / ieee754 / part_cmp / experiments / formal / proof_eq.py

diff --git a/src/ieee754/part_cmp/experiments/formal/proof_eq.py b/src/ieee754/part_cmp/experiments/formal/proof_eq.py
index 80fd7f1d80c5836f1acb61986e0de50756e2abf6..e692956e9c82066e7cb4e32329ffe6d22c7a8fb1 100644 (file)
--- a/src/ieee754/part_cmp/experiments/formal/proof_eq.py
+++ b/src/ieee754/part_cmp/experiments/formal/proof_eq.py
@@ -3,7 +3,7 @@
 
 from nmigen import Module, Signal, Elaboratable, Mux
 from nmigen.asserts import Assert, AnyConst
-from nmigen.test.utils import FHDLTestCase
+from nmutil.formaltest import FHDLTestCase
 from nmigen.cli import rtlil
 
 from ieee754.part_cmp.experiments.eq_combiner import EQCombiner