From e55ba2f04578738ec72c4ca64daf23b9ea51ec06 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 9 May 2019 00:36:49 +0200
Subject: An attempt to reorganize further coqtop initialization into semantic
 units.

Incidentally moving parsing of "-batch" to the coqtop binary.
---
 toplevel/workerLoop.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel/workerLoop.ml')

diff --git a/toplevel/workerLoop.ml b/toplevel/workerLoop.ml
index 6d147ac308..1fcc106348 100644
--- a/toplevel/workerLoop.ml
+++ b/toplevel/workerLoop.ml
@@ -14,7 +14,7 @@ let rec parse = function
   | [] -> []
 
 let worker_parse_extra ~opts extra_args =
-  opts, parse extra_args
+  Coqtop.Interactive, parse extra_args
 
 let worker_init init ~opts =
   Flags.quiet := true;
-- 
cgit v1.2.3