Fix formatting.

Author: hokeun

src/Step2_Inconsistency.lf

@@ -96,7 +96,7 @@ reactor InconsistentGridManager(node_id: int = 1) {
 // ------------------------------------------------------------
 federated reactor {
   gi1 = new GridInterface(id=1, node_name="California")
-  gi2 = new GridInterface(id=2, node_name="New York")
+  gi2 = new GridInterface(id=2, node_name = "New York")
   gm1 = new InconsistentGridManager(node_id=1)
   gm2 = new InconsistentGridManager(node_id=2)
 

src/Step3_Timestamps.lf

@@ -112,7 +112,7 @@ reactor GridManager {
 // ------------------------------------------------------------
 federated reactor {
   gi1 = new GridInterface(id=1, node_name="California")
-  gi2 = new GridInterface(id=2, node_name="New York")
+  gi2 = new GridInterface(id=2, node_name = "New York")
 
   // maxwait: physical time to wait before assuming no more messages will
   // arrive at a given logical time or earlier. A tardy message is one that