Merge branch 'temp'

unknown
2 parents 445d9db7 695d32fa
Showing 1 changed file with 1 additions and 1 deletions Show diff stats
parser/arguments.h
@@ -417,7 +417,7 @@ namespace stim{
         {
             int i = find(opts.begin(), opts.end(), _name) - opts.begin();
  
-            if(i < 0)
+            if(i < 0 || i >= opts.size())
             {
                 std::cout<<"ERROR - Unspecified parameter name: "<<_name<<std::endl;
                 exit(1);