Corrected a couple of syntax errors in revised Lando specs.

GaloisInc · Nov 12, 2023 · c2ed18e · c2ed18e
1 parent 85790b7
commit c2ed18e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/specs/Lando/architecture.lando b/specs/Lando/architecture.lando
@@ -140,7 +140,7 @@ System.
 component Actuator 2
 A secondary actuator that provides redundancy and reliability. This
 actuator ensures that critical physical actions are carried out even
-in the event of a failure in
+in the event of a failure in the primary actuator.
 
 subsystem Sensors
 The Sensors subsystem consists of various sensing devices that gather

diff --git a/specs/Lando/hardware.lando b/specs/Lando/hardware.lando
@@ -185,6 +185,7 @@ component Dev Board (Board)
 A development board that serves as the prototyping platform for the
 HARDENS system. It is instrumental in testing and refining hardware
 designs.
+
 // * MOSFET power control kit: https://www.sparkfun.com/products/12959
 // * 12 V Latch solenoid: https://www.sparkfun.com/products/15324
 // * Pressure sensor: https://www.sparkfun.com/products/11084