Minor editorial change

AdaCore · Oct 20, 2024 · de435e1 · de435e1
1 parent 2631ded
commit de435e1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/content/courses/advanced-ada/parts/data_types/records.rst b/content/courses/advanced-ada/parts/data_types/records.rst
@@ -3571,7 +3571,6 @@ Note that the original test application that makes use of the sensor
 
 .. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Records.Variant_Parts.Sensors
 
-
     with Ada.Text_IO; use Ada.Text_IO;
 
     with Sensors;     use Sensors;