Fix test breakage in MUL proofs
[soc.git] / src / soc / __init__.py
1