From 568be3812b57b040345ac8216be3864ec9949a5a Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Thu, 20 Jul 2023 13:25:15 -0300
Subject: [PATCH] Fix last_keyboard_interrupt in benchmark

---
 benchmark/benchmark.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index a0bbb0cef..991d2a9f1 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -531,7 +531,7 @@ def run_test(
             coder.run(with_message=instructions)
         dur += time.time() - start
 
-        if coder.num_control_c:
+        if coder.last_keyboard_interrupt:
             raise KeyboardInterrupt
 
         if no_unit_tests: