From ca2dc90493254a4350bb6cbfc922589876bafba9 Mon Sep 17 00:00:00 2001
From: "Edward A. Lee" <eal@berkeley.edu>
Date: Mon, 17 Jun 2024 11:02:57 -0700
Subject: [PATCH] Formatting

---
 examples/C/src/lib/WebSocketServer.lf | 1 +
 examples/C/src/sdv/ParkingAssist.lf   | 5 ++---
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/C/src/lib/WebSocketServer.lf b/examples/C/src/lib/WebSocketServer.lf
index de16b1b4..67e5f8ce 100644
--- a/examples/C/src/lib/WebSocketServer.lf
+++ b/examples/C/src/lib/WebSocketServer.lf
@@ -14,6 +14,7 @@
  *    initial_file = {= LF_SOURCE_DIRECTORY LF_FILE_SEPARATOR "filename.html" =}
  * )  
  * ```
+
  *
  * When a connection is established with a client, an output is produced on the `connected` port
  * that is a struct with a unique `wsi` (web socket interface) for the client and a boolean
diff --git a/examples/C/src/sdv/ParkingAssist.lf b/examples/C/src/sdv/ParkingAssist.lf
index 55d4b2eb..118b802e 100644
--- a/examples/C/src/sdv/ParkingAssist.lf
+++ b/examples/C/src/sdv/ParkingAssist.lf
@@ -126,9 +126,8 @@ reactor Dashboard {
   state connection: bool = false
 
   s = new WebSocketServerString(
-    hostport=8080,
-    initial_file = {= LF_SOURCE_DIRECTORY LF_FILE_SEPARATOR "ParkingAssist.html" =}
-  )
+      hostport=8080,
+      initial_file = {= LF_SOURCE_DIRECTORY LF_FILE_SEPARATOR "ParkingAssist.html" =})
 
   reaction(speed, front_distance) -> s.in_dynamic {=
     // Ignore the inputs if we are not connected.