From c55c63f512f3445112945fe5181aec71f8168837 Mon Sep 17 00:00:00 2001
From: "maul.esel" <maul.esel@posteo.de>
Date: Sun, 18 Aug 2024 09:27:06 +0200
Subject: [PATCH] fix casing in production config

---
 releaseScripts/website-config/frontend/config.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/releaseScripts/website-config/frontend/config.js b/releaseScripts/website-config/frontend/config.js
index 7848d0c0fda..22c9da6506a 100644
--- a/releaseScripts/website-config/frontend/config.js
+++ b/releaseScripts/website-config/frontend/config.js
@@ -18,10 +18,10 @@ const _CONFIG = {
 	//                       The key is the language of the tool in the frontend; 
 	//                       The value is the file extension to be used by ultimate.
 	code_file_extensions: {
-		c: '.c',
-		boogie: '.bpl',
-		c_pp: '.c',
+		C: '.c',
+		Boogie: '.bpl',
+		C_pp: '.c',
 		automata_script: '.ats',
-		smt: '.smt2'
+		Smt: '.smt2'
 	}
 };