Apply 2 suggestion(s) to 2 file(s)

Co-authored-by: Dana Binkley <binkley@adacore.com>

Author: frank-at-adacore

courses/spark_essentials/120_pointer_programs/88_pointer_programs.lab.rst

@@ -13,7 +13,7 @@ Pointer Programs Lab
 
 - Windows: From the command line, run the :filename:`gpr_project_path.bat` file to set up your project path
 
-   + The file resides in the  the delivered :filename:`labs` folder folder you installed
+   + The file resides in the  the delivered :filename:`labs` folder you installed
    + Pass in the version of SPARK you have installed (e.g. :command:`gpr_project_path 25.1`)
    + This only needs to be done once per command prompt window
 

courses/spark_essentials/130_autoactive_proof/88_autoactive_proof.lab.rst

@@ -13,7 +13,7 @@ Auto-active Proof Lab
 
 - Windows: From the command line, run the :filename:`gpr_project_path.bat` file to set up your project path
 
-   + The file resides in the  the delivered :filename:`labs` folder folder you installed
+   + The file resides in the  the delivered :filename:`labs` folder you installed
    + Pass in the version of SPARK you have installed (e.g. :command:`gpr_project_path 25.1`)
    + This only needs to be done once per command prompt window