From 5e193988db9e7ee28bf4b9230d55c401fe191bfe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Andersson?= <andebjor@gmail.com>
Date: Sat, 7 Dec 2019 17:48:40 +0100
Subject: [PATCH] Fix `impl Gpio`	-> impl GpioConfig`

In the two sections "Peripherals as State Machines" and "Design
Contracts" of the "Static Guarantees" chapter, `impl Gpio` was
incorrectly used in place of `impl GpioConfig` at one place in each
section.

This commit fixes that.
---
 src/static-guarantees/design-contracts.md | 2 +-
 src/static-guarantees/state-machines.md   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/static-guarantees/design-contracts.md b/src/static-guarantees/design-contracts.md
index a62fc3e0..6c3af65d 100644
--- a/src/static-guarantees/design-contracts.md
+++ b/src/static-guarantees/design-contracts.md
@@ -25,7 +25,7 @@ struct GpioConfig {
     periph: GPIO_CONFIG,
 }
 
-impl Gpio {
+impl GpioConfig {
     pub fn set_enable(&mut self, is_enabled: bool) {
         self.periph.modify(|_r, w| {
             w.enable().set_bit(is_enabled)
diff --git a/src/static-guarantees/state-machines.md b/src/static-guarantees/state-machines.md
index b7c24f17..5a27ffcf 100644
--- a/src/static-guarantees/state-machines.md
+++ b/src/static-guarantees/state-machines.md
@@ -60,7 +60,7 @@ struct GpioConfig {
     periph: GPIO_CONFIG,
 }
 
-impl Gpio {
+impl GpioConfig {
     pub fn set_enable(&mut self, is_enabled: bool) {
         self.periph.modify(|_r, w| {
             w.enable().set_bit(is_enabled)