diff options
| author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-13 23:00:43 +0000 |
|---|---|---|
| committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-13 23:00:43 +0000 |
| commit | 1975a182d76171fee56faf671bedcbf13b9dc9ba (patch) | |
| tree | aebf2a688d7dafa191c5857ae5739a0af491f4e7 | |
| parent | 6887f449107ebc241201a2fccb8a0ae5063a8985 (diff) | |
vest --epsilon
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@246 ec762483-ff6d-05da-a07a-a48fb63a330f
| -rwxr-xr-x | vest/dist-vest.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl index 6a04b98b..f81a74a3 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -64,7 +64,7 @@ if (GetOptions( "decode-nodes=i" => \$decode_nodes, "dont-clean" => \$disable_clean, "dry-run" => \$dryrun, - "epsilon" => \$epsilon, + "epsilon=s" => \$epsilon, "help" => \$help, "interval" => \$interval, "iteration=i" => \$iteration, |