From 7485bb4fa770a44d364574ddce5c5ea3719dceaf Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <christoph@imandra.ai>
Date: Sat, 23 Mar 2024 13:25:58 +0000
Subject: [PATCH] Fix typos

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

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index d3426f342..3e6da0b22 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -327,7 +327,7 @@ def test_atomic_required(cc):
         ++y;
         ++w;
         return ++x;
-    }")
+    }
     """)
     t.commit()
     fails_without = exec_compiler_cmd([cc, CPPFLAGS, '', 'tstatomic.cpp', LDFLAGS, '']) != 0