Typo/formatting updates.

GaloisInc · Feb 19, 2022 · 62d702d · 62d702d
1 parent 95ad188
commit 62d702d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/specs/RTS_Scenarios.sysml b/specs/RTS_Scenarios.sysml
@@ -1,7 +1,7 @@
 /**
  * The set of all scenarios that describe interesting end-to-end executions
  * of the RTS system.  The full set of scenarios must include all normal
- * behavior (online and during sefl-test) and exceptional behavior.  
+ * behavior (online and during self-test) and exceptional behavior.  
  */
 package id Scenarios 'RTS Scenarios' {
   package id Normal 'RTS Normal Behavior Scenarios' {

diff --git a/specs/SemanticProperties.sysml b/specs/SemanticProperties.sysml
@@ -1,4 +1,4 @@
-  /** Semantic properties are annotation to model and system artifacts
+/** Semantic properties are annotation to model and system artifacts
     used to semantically markup those artifacts for documentation,
     traceability, and more. */
 package 'Semantic Properties' {