Adjust spaces in core.sh
Adjust spaces in core.sh


Former-commit-id: 691db66b68d30c7ac30fec8dae3f22a05c9e8045
dividiti/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,rbaghdadi/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark