Commits

Anonymous committed e2104ca

turned anonymous function into inner function prerr_malformed.

Comments (0)

Files changed (1)

       foots.(n-1) <- Some (Str.string_after l (Str.match_end ()))
     with
       Not_found -> prerr_endline ("unreferenced footnote: " ^ l)
-  in
-  process_foots inc add_foot
-    (function l -> prerr_endline ("malformed footnote: " ^ l));
+  and prerr_malformed l = prerr_endline ("malformed footnote: " ^ l) in
+  process_foots inc add_foot prerr_malformed;
   let print_foot idx elt =
     output_string outc (ref_of_int (idx + 1));
     match elt with