Fix multi-line error message

strub · bgregoir · commit c5ddeca39ee2 · 2026-04-10T14:25:39.000Z
diff --git a/src/phl/ecPhlLoopTx.ml b/src/phl/ecPhlLoopTx.ml
@@ -254,8 +254,8 @@ let process_unroll_for ~cfold side cpos tc =
         e
 
     | _ -> tc_error !!tc
-             "last instruction of the while loop must be"
-             "an \"increment\" of the loop counter" in
+             "last instruction of the while loop must be \
+              an \"increment\" of the loop counter" in
 
   (* Apply loop increment *)
   let incrz =

Original file line number	Diff line number	Diff line change
`@@ -254,8 +254,8 @@ let process_unroll_for ~cfold side cpos tc =`
`254`	`254`	`e`
`255`	`255`
`256`	`256`	`\| _ -> tc_error !!tc`
`257`		`- "last instruction of the while loop must be"`
`258`		`- "an \"increment\" of the loop counter" in`
	`257`	`+ "last instruction of the while loop must be \`
	`258`	`+ an \"increment\" of the loop counter" in`
`259`	`259`
`260`	`260`	`(* Apply loop increment *)`
`261`	`261`	`let incrz =`