From 695d32fa0c5b28d438ae81ad3c60cb0299e4105e Mon Sep 17 00:00:00 2001 From: unknown Date: Tue, 13 Jan 2015 16:46:56 -0600 Subject: [PATCH] David's changes to the argument class. --- ui/arguments.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ui/arguments.h b/ui/arguments.h index a82584c..576ae33 100644 --- a/ui/arguments.h +++ b/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<