diff --git a/topbin/coqtop_bin.ml b/topbin/coqtop_bin.ml
index 261e28b58b11..44dbb25c6b73 100644
--- 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)