Merge PR coq#18992: Remove useless code in coqtop_bin

Reviewed-by: ejgallego Co-authored-by: ejgallego <[email protected]>
silene · May 2, 2024 · d9c5107 · d9c5107
2 parents 320fe3c + da7a154
commit d9c5107
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/topbin/coqtop_bin.ml b/topbin/coqtop_bin.ml
@@ -8,9 +8,5 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
-let drop_setup () = Mltop.remove ()
-
-(* Main coqtop initialization *)
-let () =
-  drop_setup ();
-  Coqtop.(start_coq coqtop_toplevel)
+(* Main coqtop entry point *)
+let () = Coqtop.(start_coq coqtop_toplevel)