CVS difference for ai22s/ai22-0058-1.html

--- ai22s/ai22-0058-1.html	2023/04/28 02:30:03	1.4
+++ ai22s/ai22-0058-1.html	2023/04/29 03:31:27	1.5
@@ -53,7 +53,8 @@
 
 <h2 class="head">!wording</h2>
 <p class="inst">Add:</p>
-<p class="cbin"><b>with</b> Pre =&gt; (T /= Null_Task_Id <b>or else</b> raise Program_Error)<br>
+<p class="cbin"><b>with</b> Pre =&gt; (T /= Null_Task_Id <b>or else</b> <b>raise
+</b>Program_Error)<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <b>and then<br>
 </b>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; (<b>not </b>Is_Terminated (T)<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <b>or else</b> <b>raise</b>