diff options
Diffstat (limited to 'sci-mathematics/prover9/prover9-2009.11a.ebuild')
-rw-r--r-- | sci-mathematics/prover9/prover9-2009.11a.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild index 1894b784a655..ebcbaab1c1a9 100644 --- a/sci-mathematics/prover9/prover9-2009.11a.ebuild +++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild @@ -46,7 +46,7 @@ src_test() { emake test3 } -src_install () { +src_install() { dobin \ bin/attack \ bin/autosketches4 \ |