fix casing in production config

ultimate-pa · Aug 19, 2024 · c55c63f · c55c63f
1 parent 12777f6
commit c55c63f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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'
 	}
 };