From 418a653d257fd446c7b66d407cd0064cc5c19717 Mon Sep 17 00:00:00 2001
From: Alexander Bakst <abakst@galois.com>
Date: Mon, 31 Jan 2022 15:56:27 -0800
Subject: [PATCH] Rename saturation table to pressure table

---
 specs/HARDENS.sysml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/specs/HARDENS.sysml b/specs/HARDENS.sysml
index 463154d..8acaf03 100644
--- a/specs/HARDENS.sysml
+++ b/specs/HARDENS.sysml
@@ -145,7 +145,7 @@ package id Architecture 'RTS Architecture' {
       	out mode: TripModeCommand;
       }
       
-       part def SaturationTable {
+       part def PressureTable {
         	doc /* The saturation table gives us the saturation pressure margin given
         	     * the current temperature and pressure, hence the output is pressure
         	     */
@@ -260,10 +260,10 @@ package id Architecture 'RTS Architecture' {
         part instrumentationUnit3 : InstrumentationUnit;
         part instrumentationUnit4 : InstrumentationUnit;
         
-        part table1 : SaturationTable;
-        part table2 : SaturationTable;
-        part table3 : SaturationTable;
-        part table4 : SaturationTable;
+        part table1 : PressureTable;
+        part table2 : PressureTable;
+        part table3 : PressureTable;
+        part table4 : PressureTable;
         
         part tempDemux1 : TempSensor::Demux;
         part tempDemux2 : TempSensor::Demux;