diff options
Diffstat (limited to 'src/options/mkoptions')
| -rwxr-xr-x | src/options/mkoptions | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/mkoptions b/src/options/mkoptions index 2bfd6a2d9..a551d5bd9 100755 --- a/src/options/mkoptions +++ b/src/options/mkoptions @@ -649,7 +649,7 @@ template <> options::${internal}__option_t::type runHandlerAndPredicates(options for handler in $handlers; do run_handlers="$run_handlers #line $lineno \"$kf\" - $handler(\"$smtname\", value, smt); + $handler(\"$smtname\", optarg, smt); " done fi @@ -665,7 +665,7 @@ template <> options::${internal}__option_t::type runHandlerAndPredicates(options for handler in $handlers; do run_handlers="$run_handlers #line $lineno \"$kf\" - $handler(\"$smtname\", value, smt); + $handler(\"$smtname\", optarg, smt); " done smt_setoption_handlers="${smt_setoption_handlers} |