From fb382e5fa68f5e1cff6c747625d92215a21eba97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tomasz=20R=C3=B3=C5=BCa=C5=84ski?= Date: Thu, 27 Feb 2020 01:28:26 +0100 Subject: [PATCH] Setting output to `high` needs a `true` argument --- 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 6c3af65d..56fec45b 100644 --- a/src/static-guarantees/design-contracts.md +++ b/src/static-guarantees/design-contracts.md @@ -239,7 +239,7 @@ let pin_state = pulled_low.bit_is_set(); * Example 3: Pulled Low input to Output, set high */ let output_pin = pulled_low.into_enabled_output(); -output_pin.set_bit(false); +output_pin.set_bit(true); // Can't do this, output pins don't have this interface! // output_pin.into_input_pull_down();