From a6aa391d9814d699ffa6e07851a12059ab7dc993 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 6 Dec 2011 17:22:37 +0000
Subject: Fixed a synchronization bug between coqtop and the CoqIDE command
 pane.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14771 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/command_windows.ml  | 2 +-
 ide/command_windows.mli | 2 +-
 ide/coqide.ml           | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index 9792d8782f..939238d3a3 100644
--- a/ide/command_windows.ml
+++ b/ide/command_windows.ml
@@ -102,7 +102,7 @@ object(self)
       in
       try
         result#buffer#set_text
-          (match Coq.interp coqtop ~raw:true phrase with
+          (match Coq.interp !coqtop ~raw:true phrase with
              | Interface.Fail (l,str) ->
                  ("Error while interpreting "^phrase^":\n"^str)
              | Interface.Good results ->
diff --git a/ide/command_windows.mli b/ide/command_windows.mli
index 1eb118359c..8c7319aa3d 100644
--- a/ide/command_windows.mli
+++ b/ide/command_windows.mli
@@ -7,7 +7,7 @@
 (************************************************************************)
 
 class command_window :
-  Coq.coqtop -> Preferences.pref ref ->
+  Coq.coqtop ref -> Preferences.pref ref ->
   object
     method new_command : ?command:string -> ?term:string -> unit -> unit
     method frame : GBin.frame
diff --git a/ide/coqide.ml b/ide/coqide.ml
index e02d35f1a5..2c6e96218b 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1484,7 +1484,7 @@ let create_session file =
 	|Subst_args -> Project_file.args_from_project the_file !custom_project_files !current.project_file_name
   in
   let ct = ref (Coq.spawn_coqtop coqtop_args) in
-  let command = new Command_windows.command_window !ct current in
+  let command = new Command_windows.command_window ct current in
   let legacy_av = new analyzed_view script proof message stack ct file in
   let () = legacy_av#update_stats in
   let _ =
-- 
cgit v1.2.3