let rec display s =
try
let i=String.index s '\n' in
if i=0 then
begin
Ltl_to_acsl_option.result " ";
display (String.sub s 1 ((String.length s)-1))
end
else
begin
Ltl_to_acsl_option.result "%s" (String.sub s 0 i);
if i+1=(String.length s) then
Ltl_to_acsl_option.result " "
else
display (String.sub s (i+1) ((String.length s)-i-1))
end
with
Not_found -> Ltl_to_acsl_option.result "%s" s