prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

python script: import error

Open cospectrum opened this issue 9 months ago • 0 comments

NameError: name 'error' is not defined.

cospectrum avatar May 08 '24 16:05 cospectrum