Format

lf-lang · Oct 19, 2024 · e889871 · e889871
1 parent a1213c7
commit e889871
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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) {