let print_dot pdg filename =
  Print.build_dot filename pdg;
  Pdg_parameters.result "dot file generated in %s" filename