Tab was messing things up

frank-at-adacore · frank-at-adacore · commit b1c835f21c97 · 2025-12-19T15:58:28.000-05:00
diff --git a/courses/spark_essentials/100_advanced_proof/02-relaxed_initialization.rst b/courses/spark_essentials/100_advanced_proof/02-relaxed_initialization.rst
@@ -88,7 +88,7 @@ Relaxed Initialization and Predicates
         Content : Content_Table;
      end record
         with Ghost_Predicate =>
-	   Content (1 .. Top)'Initialized;
+           Content (1 .. Top)'Initialized;
 
 ----------------------------------
 Verifying Relaxed Initialization
