From 451fd0a819f0e9dba96d70dd25703919af273c03 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@corp.google.com>
Date: Tue, 16 Apr 2019 09:24:40 -0700
Subject: [PATCH] improve workspace

---
 or-tools.code-workspace | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/or-tools.code-workspace b/or-tools.code-workspace
index 007799a056..5d687fbdd8 100644
--- a/or-tools.code-workspace
+++ b/or-tools.code-workspace
@@ -78,7 +78,18 @@
       "thread": "cpp",
       "tuple": "cpp",
       "unordered_map": "cpp",
-      "unordered_set": "cpp"
+      "unordered_set": "cpp",
+      "__errc": "cpp",
+      "__node_handle": "cpp",
+      "any": "cpp",
+      "cfenv": "cpp",
+      "cinttypes": "cpp",
+      "clocale": "cpp",
+      "csetjmp": "cpp",
+      "fstream": "cpp",
+      "future": "cpp",
+      "new": "cpp",
+      "valarray": "cpp"
     },
 		"C_Cpp.clang_format_fallbackStyle": "Google",
 		"C_Cpp.default.includePath": [