Minor patch for 4.08 compat

src/standard/misc.ml

@@ -170,6 +170,14 @@ let rec print_list ~print_sep ~sep ~print fmt = function
       print h print_sep sep
       (print_list ~print_sep ~sep ~print) r
 
+let list_concat_map f l =
+  let rec aux f acc = function
+    | [] -> List.rev acc
+    | x :: l ->
+       let xs = f x in
+       aux f (List.rev_append xs acc) l
+  in aux f [] l
+
 
 (* Iteration *)
 (* ************************************************************************* *)

src/standard/misc.mli

@@ -68,6 +68,8 @@ val print_list :
 val foldn : int -> ('a -> 'a) -> 'a -> 'a
 (** Applies the given function [n] times. *)
 
+val list_concat_map : ('a -> 'b list) -> 'a list -> 'b list
+(** Same as {List.concat_map} (which is not available on ocaml.4.08). *)
 
 (** {2 Lexbuf helpers} *)
 

src/standard/statement.ml

@@ -643,7 +643,7 @@ let cnf ?loc ?annot id role t =
     match t with
     | { Term.term = Term.App
             ({ Term.term = Term.Builtin Term.Or; _ }, l); _ } ->
-      List.concat_map split_or l
+      Misc.list_concat_map split_or l
     | _ -> [t]
   in
   tptp ?loc ?annot "cnf" id role (`Clause (split_or t))