Index: scripts/coqmktop.ml
===================================================================
--- scripts/coqmktop.ml	(rÃ©vision 12084)
+++ scripts/coqmktop.ml	(copie de travail)
@@ -231,12 +231,25 @@
      end;;
 
      let ppf = Format.std_formatter;;
+     let set_rectypes_hack () =
+       if String.length (Sys.ocaml_version) >= 4 &
+          String.sub (Sys.ocaml_version) 0 4 = \"3.10\"
+       then
+         (* ocaml 3.10 does not have #rectypes but needs it *)
+         (* simulate a call with option -rectypes before *)
+         (* jumping to the ocaml toplevel *)
+         for i = 1 to Array.length Sys.argv - 1 do
+           Sys.argv.(i) <- \"-rectypes\"
+         done
+       else
+         () in
+
      Mltop.set_top
        {Mltop.load_obj=
          (fun f -> if not (Topdirs.load_file ppf f) then failwith \"error\");
         Mltop.use_file=Topdirs.dir_use ppf;
         Mltop.add_dir=Topdirs.dir_directory;
-        Mltop.ml_loop=(fun () -> Toploop.loop ppf) };;\n"
+        Mltop.ml_loop=(fun () -> set_rectypes_hack(); Topmain.main()) };;\n"
 
 (* create a temporary main file to link *)
 let create_tmp_main_file modules =
