Looks good, thanks!
Very minor fix:
error("could not open scope directory: " + scope_dir + "\n");
The trailing newline shouldn't be there. error() automatically appends a newline. (You need a newline only if you want to force an error message to include a line break explictly.)
« Back to merge proposal
Looks good, thanks!
Very minor fix:
error("could not open scope directory: " + scope_dir + "\n");
The trailing newline shouldn't be there. error() automatically appends a newline. (You need a newline only if you want to force an error message to include a line break explictly.)