diff options
Diffstat (limited to 'dev-lang/dafny/dafny-4.6.0.ebuild')
| -rw-r--r-- | dev-lang/dafny/dafny-4.6.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild b/dev-lang/dafny/dafny-4.6.0.ebuild index ca5c0f6861e7..2ec7748b03e7 100644 --- a/dev-lang/dafny/dafny-4.6.0.ebuild +++ b/dev-lang/dafny/dafny-4.6.0.ebuild @@ -597,7 +597,7 @@ src_test() { --verbose --workers="$(makeopts_jobs)" ) - edob lit "${lit_opts[@]}" "${TEST_S}" + edo lit "${lit_opts[@]}" "${TEST_S}" } src_install() { |