From a4c6aa1c4d788baf43d1b0f689d8f363dc56de04 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <mjo@gentoo.org>
Date: Mon, 1 Aug 2016 09:14:36 -0400
Subject: dev-libs/gecode: fix metadata.xml schema.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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(-)

(limited to 'dev-libs')

diff --git a/dev-libs/gecode/metadata.xml b/dev-libs/gecode/metadata.xml
index 8d557682e96..234da92a34c 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
-- 
cgit v1.2.1