From be8f8e05abfee4b1ccbbd0e8ff9767a06857887c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pehr=20S=C3=B6derman?= <pehrs@kattis.com>
Date: Sat, 17 Aug 2024 17:17:07 +0200
Subject: [PATCH] GCC should use gnu17

---
 problemtools/config/languages.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/problemtools/config/languages.yaml b/problemtools/config/languages.yaml
index 394a606..130937f 100644
--- a/problemtools/config/languages.yaml
+++ b/problemtools/config/languages.yaml
@@ -98,7 +98,7 @@ c:
     name: 'C'
     priority: 950
     files: '*.c'
-    compile: '/usr/bin/gcc -g -O2 -std=gnu23 -static -o {binary} {files} -lm'
+    compile: '/usr/bin/gcc -g -O2 -std=gnu17 -static -o {binary} {files} -lm'
     run: '{binary}'
 
 cpp: