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