From 57b2fa0ca5e3648d596195fa9298d498878ed331 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Sat, 9 Mar 2024 21:45:49 +0100
Subject: [PATCH] dev-lang/boogie: add missing psutil test dependency
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: https://bugs.gentoo.org/926537
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 dev-lang/boogie/boogie-3.1.2.ebuild | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dev-lang/boogie/boogie-3.1.2.ebuild b/dev-lang/boogie/boogie-3.1.2.ebuild
index 3000988a0c5af..1e5de6f37894f 100644
--- a/dev-lang/boogie/boogie-3.1.2.ebuild
+++ b/dev-lang/boogie/boogie-3.1.2.ebuild
@@ -226,8 +226,9 @@ RDEPEND="
 BDEPEND="
 	${RDEPEND}
 	test? (
-		dev-python/lit
 		dev-python/OutputCheck
+		dev-python/lit
+		dev-python/psutil
 	)
 "