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 ce19a4265d6422b9fe5f09bafaa6bfde294422e6..ae53efb5a54874799bacd147f462fef06b8e3573 100644 (file)
--- a/src/openpower/decoder/formal/proof_decoder.py
+++ b/src/openpower/decoder/formal/proof_decoder.py
@@ -6,7 +6,7 @@ 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)
+                                     MicrOp, get_csv)
 from openpower.decoder.power_decoder2 import (PowerDecode2,
                                         Decode2ToExecute1Type)
 import unittest