fix using python int instead of SelectableInt
authorJacob Lifshay <programmerjake@gmail.com>
Sat, 20 May 2023 02:49:12 +0000 (19:49 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Sat, 20 May 2023 02:49:12 +0000 (19:49 -0700)
commit2cf7e5d4aaa5d3fc1209cbd9cd95baa47007dd75
tree0030353347655463ea62c6429ea69d26d6cfc1f3
parent304ddb4bb602b858fcbae7d349e9a50d7f515b45
fix using python int instead of SelectableInt
openpower/isafunctions/bfp.mdwn