[gentoo-commits] repo/gentoo:master commit in: dev-libs/gecode/

[Michael Orlitzky]

commit:     a4c6aa1c4d788baf43d1b0f689d8f363dc56de04
Author:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Mon Aug  1 13:14:36 2016 +0000
Commit:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Mon Aug  1 13:14:36 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a4c6aa1c

dev-libs/gecode: fix metadata.xml schema.

In my recent addition of gecode-4.4.0, I made a copy/paste error and
duplicated the <use> element in metadata.xml. Michał's Travis CI
instance caught the error (thanks).

Package-Manager: portage-2.2.28

 dev-libs/gecode/metadata.xml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/dev-libs/gecode/metadata.xml b/dev-libs/gecode/metadata.xml
index 8d55768..234da92 100644
--- a/dev-libs/gecode/metadata.xml
+++ b/dev-libs/gecode/metadata.xml
@@ -6,8 +6,6 @@
                <flag name="gist">
                        Enable Gist, the Gecode Interactive Search Tool
                </flag>
-       </use>
-       <use>
                <flag name="gmp">
                        Enable trigonometric and transcendental float
                        constraints