From de435e1c687169dd6c7b59b740b0a81c4017c72c Mon Sep 17 00:00:00 2001 From: gusthoff Date: Sun, 13 Oct 2024 13:33:02 +0200 Subject: [PATCH] Minor editorial change --- content/courses/advanced-ada/parts/data_types/records.rst | 1 - 1 file changed, 1 deletion(-) diff --git a/content/courses/advanced-ada/parts/data_types/records.rst b/content/courses/advanced-ada/parts/data_types/records.rst index c1d2fd22a..db26e6986 100644 --- 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;