From 1a477d10daa91aadc0ef940b2f6d290aa93f8e8e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 10 Mar 2015 16:01:06 +0100
Subject: CoqIDE: restore module/proof name in info bar

---
 ide/coqide.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3