From 68fb2ba5b5880e6573ba41255b23b2d12f179ccd Mon Sep 17 00:00:00 2001
From: Nathan <2266858+njmartin10@users.noreply.github.com>
Date: Tue, 6 Nov 2018 21:16:54 -0800
Subject: [PATCH] Typo whch->which

---
 src/static-guarantees/design-contracts.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/static-guarantees/design-contracts.md b/src/static-guarantees/design-contracts.md
index ea3eae6..f0df219 100644
--- a/src/static-guarantees/design-contracts.md
+++ b/src/static-guarantees/design-contracts.md
@@ -97,7 +97,7 @@ impl Gpio {
 }
 ```
 
-Because we need to enforce the restrictions on the hardware, we end up doing a lot of runtime checking whch wastes time and resources, and this code will be much less pleasant for the developer to use.
+Because we need to enforce the restrictions on the hardware, we end up doing a lot of runtime checking which wastes time and resources, and this code will be much less pleasant for the developer to use.
 
 ## Type States