scalar partitioned shift moved, change module import name

diff --git a/src/ieee754/part_shift/formal/proof_shift_scalar.py b/src/ieee754/part_shift/formal/proof_shift_scalar.py
index dcb9556ae8129e2236d2fe5398da75d7dff98683..c1821ddcc77eeef450778bc38d6fc26ba1b868fd 100644 (file)
--- a/src/ieee754/part_shift/formal/proof_shift_scalar.py
+++ b/src/ieee754/part_shift/formal/proof_shift_scalar.py
@@ -7,7 +7,7 @@ from nmigen.test.utils import FHDLTestCase
 from nmigen.cli import rtlil
 
 from ieee754.part_mul_add.partpoints import PartitionPoints
-from ieee754.part_shift_scalar.part_shift_scalar import PartitionedScalarShift
+from ieee754.part_shift.part_shift_scalar import PartitionedScalarShift
 import unittest
 
 
@@ -87,4 +87,3 @@ class PartitionedScalarShiftTestCase(FHDLTestCase):
 
 if __name__ == "__main__":
     unittest.main()
-