diff --git a/ParsingDriver.cc b/ParsingDriver.cc index f6df1280394ea661037a51e782d699e6036761c2..9cb73ecf0418bafa10cddc9020508610dccd722d 100644 --- a/ParsingDriver.cc +++ b/ParsingDriver.cc @@ -307,8 +307,8 @@ ParsingDriver::init_val(string *name, NodeID rhs) void ParsingDriver::init_val_filename(string *filename) { - options_list.num_options["INITVAL_FILE"] = 1; - options_list.string_options["INITVAL_FILENAME"] = *filename; + options_list.num_options["initval_file"] = "1"; + options_list.string_options["initval_filename"] = *filename; delete filename; }