From e20e9c7b150400d50f9facb033434d4d5929b269 Mon Sep 17 00:00:00 2001
From: Fabien Spindler <Fabien.Spindler@inria.fr>
Date: Fri, 27 Sep 2024 13:05:59 +0200
Subject: [PATCH] Update vscode settings (macOS Sonoma 14.7)

---
 .vscode/settings.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index c01e3cc45a..b8e497f10e 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -166,7 +166,10 @@
     "dense": "cpp",
     "stdvector": "cpp",
     "numericaldiff": "cpp",
-    "source_location": "cpp"
+    "source_location": "cpp",
+    "stdfloat": "cpp",
+    "text_encoding": "cpp",
+    "print": "cpp"
   },
   "C_Cpp.vcFormat.indent.namespaceContents": false,
   "editor.formatOnSave": true,