From 3afdca3562b9dcadd9b16991bd8716f38a55f2c8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 Jan 2014 10:27:41 +0100
Subject: CoqIDE: command line for extra coqtop "flags"

Like the socket for the OCaml debugger
---
 lib/flags.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index 3a79a83e33..9832ba5876 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -67,7 +67,7 @@ let term_quality = ref false
 let xml_export = ref false
 
 let ide_slave = ref false
-let ide_slave_socket = ref None
+let ideslave_coqtop_flags = ref None
 
 let time = ref false
 
-- 
cgit v1.2.3