media-gfx/cgal-ipelets: Add cgal-ipelets-5.6

[shuber-gentoo-overlay.git] / sci-mathematics / boolector / boolector-1.5.116.ebuild

diff --git a/sci-mathematics/boolector/boolector-1.5.116.ebuild b/sci-mathematics/boolector/boolector-1.5.116.ebuild
index dc5b7bb209e1b83eb5ab113f0b433314f409a40d..587be67feff7248b02561fadede184a086bc2c60 100644 (file)
--- a/sci-mathematics/boolector/boolector-1.5.116.ebuild
+++ b/sci-mathematics/boolector/boolector-1.5.116.ebuild
@@ -3,7 +3,6 @@
 # $Header: $
 
 EAPI=7
-inherit eutils
 
 DESCRIPTION="Boolector is an SMT solver for bit-vectors and arrays"
 HOMEPAGE="http://fmv.jku.at/boolector/"