From cf52b47b1c4d265eadbfbfa9c0352a0c5bd4d5c8 Mon Sep 17 00:00:00 2001
From: Alfredo Tupone <tupone@gentoo.org>
Date: Sat, 18 Sep 2021 18:48:56 +0200
Subject: [PATCH] sci-mathematics/why3-for-spark: UnusedInherits

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---
 sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | 2 --
 1 file changed, 2 deletions(-)

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
index bb7093a5b79de..48d1902205791 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild
@@ -3,8 +3,6 @@
 
 EAPI=6
 
-inherit autotools
-
 MYP=${PN}-gpl-${PV}-src
 
 DESCRIPTION="Platform for deductive program verification"