- let path = [
- R.get_string "xoa.output_dir";
- name
- ] in
- let name = List.fold_left F.concat "" path in
- let och = open_out (name ^ ".ma") in
- copy_preamble preamble och;
- print_header def och;
- print_comment och;
- och
+ let path = [
+ R.get_string "xoa.output_dir";
+ name
+ ] in
+ let name = List.fold_left F.concat "" path in
+ let och = open_out (name ^ ".ma") in
+ copy_preamble preamble och;
+ print_header def och;
+ print_comment och;
+ och