no python files to be committed in isafunctions

[openpower-isa.git] / src / openpower / decoder / formal / proof_decoder.py

diff --git a/src/openpower/decoder/formal/proof_decoder.py b/src/openpower/decoder/formal/proof_decoder.py
index 5abd9182ecf6e42ad6035e1a521edcca732bfd36..ae53efb5a54874799bacd147f462fef06b8e3573 100644 (file)
--- a/src/openpower/decoder/formal/proof_decoder.py
+++ b/src/openpower/decoder/formal/proof_decoder.py
@@ -2,12 +2,12 @@ from nmigen import Module, Signal, Elaboratable, Cat
 from nmigen.asserts import Assert, AnyConst, Assume
 from nmutil.formaltest import FHDLTestCase
 
-from soc.decoder.power_decoder import create_pdecode, PowerOp
-from soc.decoder.power_enums import (In1Sel, In2Sel, In3Sel,
+from openpower.decoder.power_decoder import create_pdecode, PowerOp
+from openpower.decoder.power_enums import (In1Sel, In2Sel, In3Sel,
                                      OutSel, RC, Form, Function,
                                      LdstLen, CryIn,
-                                     MicrOp, SPR, get_csv)
-from soc.decoder.power_decoder2 import (PowerDecode2,
+                                     MicrOp, get_csv)
+from openpower.decoder.power_decoder2 import (PowerDecode2,
                                         Decode2ToExecute1Type)
 import unittest
 import pdb