Index: scripts/coqmktop.ml
===================================================================
--- scripts/coqmktop.ml	(révision 11904)
+++ scripts/coqmktop.ml	(copie de travail)
@@ -235,11 +235,23 @@
      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.11\"
+       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=Topdirs.dir_load ppf;
         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 (); Toploop.loop ppf) };;\n"
 
 (* create a temporary main file to link *)
 let create_tmp_main_file modules =