Apply 1 suggestion(s) to 1 file(s)

Co-authored-by: Romain Gora <gora@adacore.com>

Author: frank-at-adacore

courses/spark_essentials/150_spark_boundary/03-software_boundary.rst

@@ -349,7 +349,7 @@ Modeling an API - Example
 **Standard unit** :ada:`Ada.Text_IO` **is modeled in SPARK**
 
   - Subprograms can be called in SPARK code
-  - File system is not precisely modelled
+  - File system is not precisely modeled
 
 .. code:: ada