From c87c45877c7a9d571be5f215fac6de1ca7e3ca38 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Wed, 16 Dec 2015 15:34:05 +0100
Subject: CLEANUP: removing unnecessary wrapper function

---
 toplevel/coqtop.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index 5e782233f2..4b48b17fde 100644
--- a/toplevel/coqtop.ml
+++ b/toplevel/coqtop.ml
@@ -576,7 +576,7 @@ let parse_args arglist =
       else fatal_error (Errors.print e) false
     | any -> fatal_error (Errors.print any) (Errors.is_anomaly any)
 
-let init arglist =
+let init_toplevel arglist =
   init_gc ();
   Sys.catch_break false; (* Ctrl-C is fatal during the initialisation *)
   Lib.init();
@@ -640,8 +640,6 @@ let init arglist =
     exit 0
   end
 
-let init_toplevel = init
-
 let start () =
   let () = init_toplevel (List.tl (Array.to_list Sys.argv)) in
   (* In batch mode, Coqtop has already exited at this point. In interactive one,
-- 
cgit v1.2.3