From ba45cdab0387126753cb2c0af558949c7c515bc3 Mon Sep 17 00:00:00 2001
From: Fabian Posch <fabian@posch.tech>
Date: Mon, 6 Jan 2025 02:17:28 +0100
Subject: [PATCH] make the editor stop complaining about the word fanout

---
 fault_injection_async25_paper.code-workspace | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/fault_injection_async25_paper.code-workspace b/fault_injection_async25_paper.code-workspace
index 5f692ee..776703a 100644
--- a/fault_injection_async25_paper.code-workspace
+++ b/fault_injection_async25_paper.code-workspace
@@ -43,6 +43,9 @@
 				]
 			}
 		],
-		"editor.wordWrap": "on"
+		"editor.wordWrap": "on",
+		"cSpell.words": [
+			"fanout"
+		]
 	}
 }
\ No newline at end of file