Commits

ccorrodi committed 82e0abc

replace another fold_right by String.concat

  • Participants
  • Parent commits efe30d9
  • Branches develop

Comments (0)

Files changed (1)

 
 (** Write the given variables in human-readable form to a string. *)
 let s_of_vars (vars : variable list) : string =
-  L.fold_right (fun var s -> s ^ (s_of_var var) ^ "\n") vars ""
+  String.concat "\n" (L.map s_of_var vars)
 
 (** Convert a rule to a string in make database format. *)
 let s_of_rule (r : rule) : string =