diff options
| author | ppedrot | 2011-12-06 17:22:37 +0000 |
|---|---|---|
| committer | ppedrot | 2011-12-06 17:22:37 +0000 |
| commit | a6aa391d9814d699ffa6e07851a12059ab7dc993 (patch) | |
| tree | 1d3e91bfcf1e287cbba7d061400632db21abeb25 | |
| parent | eb2b941d07895507d0b614597a5b4250f910b798 (diff) | |
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
| -rw-r--r-- | ide/command_windows.ml | 2 | ||||
| -rw-r--r-- | ide/command_windows.mli | 2 | ||||
| -rw-r--r-- | 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 _ = |