qrusty
qrusty copied to clipboard
Fix the wrong type_spec
The Error Correction option is missing from the Type Spec. So when I used the Error Correction option, the Dialyzer encountered an error. So I solved this by adding Error Correction to Type Spec.