Commit 0060ceb9 authored by Mário Pereira's avatar Mário Pereira
Browse files

Merge branch 'new_system' of git+ssh://scm.gforge.inria.fr/gitroot/why3/why3 into new_system

parents f28b32a8 2aa1d604
......@@ -311,13 +311,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