correct errors for sphinx doc build

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

diff --git a/src/openpower/decoder/formal/proof_decoder2.py b/src/openpower/decoder/formal/proof_decoder2.py
index d20c28f1c3225fdebbd23eb2f5317ea6120995e8..ba7a175e67bb8a609109e27f37362d08501277e7 100644 (file)
--- a/src/openpower/decoder/formal/proof_decoder2.py
+++ b/src/openpower/decoder/formal/proof_decoder2.py
@@ -5,7 +5,7 @@ from nmutil.formaltest import FHDLTestCase
 from openpower.decoder.power_decoder import create_pdecode, PowerOp
 from openpower.decoder.power_enums import (In1Sel, In2Sel, In3Sel,
                                      OutSel, RC, Form,
-                                     MicrOp, SPR)
+                                     MicrOp, SPRfull as SPR)
 from openpower.decoder.power_decoder2 import (PowerDecode2,
                                         Decode2ToExecute1Type)
 import unittest