From fa85676023838cc229b9733aa01480a6b1cdf121 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 28 Aug 2024 14:08:36 +0100 Subject: [PATCH] Fix type annotation for gap_exec2 (#1000) --- tools/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/utils.py b/tools/utils.py index 9371f9880..3837b3d6b 100644 --- a/tools/utils.py +++ b/tools/utils.py @@ -156,7 +156,7 @@ def gap_exec(commands: str, args: str = "") -> Tuple[int, bytes]: return GAP.returncode, out -def gap_exec2(commands: str, args: str = "") -> Tuple[int, bytes]: +def gap_exec2(commands: str, args: str = "") -> int: with subprocess.Popen( "gap -A -b --quitonbreak -q " + args, stdin=subprocess.PIPE,