From 0275dbd69b46e5ce73076552087f8cad2965a321 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 30 Mar 2012 12:51:25 +0000
Subject: Typo in a message.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15105 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/printer.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/printer.ml b/parsing/printer.ml
index dd17ee0c8a..b63e804d23 100644
--- a/parsing/printer.ml
+++ b/parsing/printer.ml
@@ -432,7 +432,7 @@ let pr_open_subgoals () =
             begin match bgoals with
 	    | [] -> pr_subgoals None sigma seeds goals
 	    | _ -> pr_subgoals None bsigma seeds bgoals ++ fnl () ++ fnl () ++
-		      str"This subproof is complete, but there are still unfocused goals:"
+		      str"This subproof is complete, but there are still unfocused goals." ++ fnl ()
 		(* spiwack: to stay compatible with the proof general and coqide,
 		    I use print the message after the goal. It would be better to have
 		    something like:
-- 
cgit v1.2.3