Refer to PPrint instead of PPrintEngine and PPrintCombinators.

slanterns · Mar 3, 2022 · 403d72d · 403d72d
1 parent 05b6c6f
commit 403d72d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lex_menhir_pp.ml b/src/lex_menhir_pp.ml
@@ -1230,7 +1230,7 @@ let pp_pp_syntaxdefn m sources xd_quotiented xd_unquotiented xd_quotiented_unaux
  *)
   let fd = open_out filename in
   Printf.fprintf fd "(* generated by Ott %s from: %s *)\n" Version.n sources;
-  output_string fd "open PPrintEngine\nopen PPrintCombinators\n";
+  output_string fd "open PPrint\n";
   output_string fd ("open " ^ (match !Global_option.caml_pp_ast_module with None -> yo.ppm_caml_ast_module | Some s -> s)  ^ "\n\n" 
                     ^ pp_pp_raw_metavar_defns_and_rules yo generate_aux_info xd ts xd.xd_mds xd.xd_rs
                     ^ "\n"