diff options
| author | Enrico Tassi | 2015-03-10 16:01:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-11 11:44:54 +0100 |
| commit | 1a477d10daa91aadc0ef940b2f6d290aa93f8e8e (patch) | |
| tree | e2436555b369c0f7e12026e87d6d8e8508396bf7 | |
| parent | a6dd74621a61f19625d661c3168510a8762b6b7a (diff) | |
CoqIDE: restore module/proof name in info bar
| -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 c977879a7b..861689800c 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -530,7 +530,7 @@ let update_status sn = | None -> "" | Some n -> ", proving " ^ n in - display ("Ready"^ if current.nanoPG then ", [μPG]" else "" ^ path ^ name); + display ("Ready"^ (if current.nanoPG then ", [μPG]" else "") ^ path ^ name); Coq.return () in Coq.bind (Coq.status ~logger:sn.messages#push false) next |