Use proper prefix when checking options_left - #44

Use proper prefix when checking options_left#44

JHopeCollins wants to merge 2 commits into

mainfiredrakeproject/petsctools:mainfrom

JHopeCollins/bugfix/scope-options-leftfiredrakeproject/petsctools:JHopeCollins/bugfix/scope-options-leftCopy head branch name to clipboard