diff options
Diffstat (limited to 'ide')
-rw-r--r-- | ide/coqide.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 165d7b080..0d32954ba 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1326,7 +1326,7 @@ let build_ui () = let update_errwin () = on_current_term (fun sn -> fill_errwin (notebook#term_num (==) sn) sn.coqops#get_errors) in - let _ = slaveinfobut#connect#clicked ~callback:errwin#misc#show in + let _ = slaveinfobut#connect#clicked ~callback:errwin#present in let update sn = let processed, to_process = sn.coqops#get_slaves_status in let missing = to_process - processed in |