David's changes to the argument class.

unknown
1 parent 81e0d221
Showing 1 changed file with 1 additions and 1 deletions Show diff stats
ui/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);