Fixed buggy source declaration in some Sage2 benchmarks.

1 parent 0c890231
Pipeline #157 for a5a922be skipped in 0 seconds