From f98ec0cfd617f3a8c561665c4cc32c337c21e5ff Mon Sep 17 00:00:00 2001
From: root <dwputz@gmail.com>
Date: Tue, 6 Jul 2021 14:43:46 -0500
Subject: [PATCH] Fix formatting

---
 ports/raspberrypi/common-hal/pulseio/PulseOut.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/raspberrypi/common-hal/pulseio/PulseOut.c b/ports/raspberrypi/common-hal/pulseio/PulseOut.c
index c590f3a714..edf0bd028c 100644
--- a/ports/raspberrypi/common-hal/pulseio/PulseOut.c
+++ b/ports/raspberrypi/common-hal/pulseio/PulseOut.c
@@ -63,7 +63,7 @@ void pulse_finish(void) {
     // if the alarm cannot be set, try again with a longer delay
     while (cur_alarm == 0) {
         cur_alarm = add_alarm_in_us(delay, pulseout_interrupt_handler, NULL, false);
-	delay = delay + 1;
+        delay = delay + 1;
     }
     if (pulse_index % 2 == 0) {
         common_hal_pwmio_pwmout_set_duty_cycle(pwmout_obj,current_duty_cycle);