add missing closing brace from 904ea21b537f4fb0c11f2efbe63ffca36844542e
[libreriscv.git] / libera.txt
1 libera-verify-319178327