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 | 1dae2292288f648578ac66f72688ba82483ba911 (patch) | |
| tree | 52d37330984ca64b6ffdeef29b4b361523ee0f18 | |
| parent | 71794bd18bb3408fb201d6d252aeb3858fda6ca6 (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, |