Commit 2aa1d604 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

Ocaml_printer: comment out uncompilable code

parent a469b306
......@@ -274,13 +274,16 @@ let extract_module pargs ?old fmt ({mod_theory = th} as m) =
print_list nothing (Print.print_decl info) fmt mdecls;
fprintf fmt "@."
(*
let fg ?fname m =
let mod_name = m.Pmodule.mod_theory.Theory.th_name.id_string in
match fname with
| None -> mod_name ^ ".ml"
| Some f -> (Filename.remove_extension f) ^ "__" ^ mod_name ^ ".ml"
let () = Pdriver.register_printer "ocaml" ~desc:"printer for OCaml code" fg extract_module
let () = Pdriver.register_printer "ocaml"
~desc:"printer for OCaml code" fg extract_module
*)
(*
* Local Variables:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment