From e88987185327b0258c7ce23005933ad2bc447817 Mon Sep 17 00:00:00 2001
From: "Edward A. Lee" <eal@berkeley.edu>
Date: Sat, 19 Oct 2024 08:24:46 -0700
Subject: [PATCH] Format

---
 examples/C/src/leader-election/NRP_FD_NobodyFails.lf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/C/src/leader-election/NRP_FD_NobodyFails.lf b/examples/C/src/leader-election/NRP_FD_NobodyFails.lf
index f720fdae..ba0561ad 100644
--- a/examples/C/src/leader-election/NRP_FD_NobodyFails.lf
+++ b/examples/C/src/leader-election/NRP_FD_NobodyFails.lf
@@ -11,6 +11,7 @@ target C {
   coordination: decentralized,
   timeout: 1000 hours
 }
+
 import Switch, Node from "NRP_FD.lf"
 
 federated reactor(heartbeat_period: time = 1 s, delay: time = 10 ms) {