Fix return type in problematic_programs.spl

Merge request reports

Loading