From 63eb223bc3cfdff1a985213a528c12728340323a Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sun, 3 Nov 2013 23:33:12 +0000
Subject: test-suite fixup

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17046 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/output/Arguments_renaming.out | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test-suite/output/Arguments_renaming.out b/test-suite/output/Arguments_renaming.out
index bdf0a0cf87..5273c59ecb 100644
--- a/test-suite/output/Arguments_renaming.out
+++ b/test-suite/output/Arguments_renaming.out
@@ -1,9 +1,9 @@
 The command has indeed failed with message:
 => Error: To rename arguments the "rename" flag must be specified.
-Argument A renamed to B
+Argument A renamed to B.
 The command has indeed failed with message:
 => Error: To rename arguments the "rename" flag must be specified.
-Argument A renamed to T
+Argument A renamed to T.
 @eq_refl
      : forall (B : Type) (y : B), y = y
 eq_refl
@@ -110,4 +110,4 @@ The command has indeed failed with message:
 => Error: Extra argument y.
 The command has indeed failed with message:
 => Error: To rename arguments the "rename" flag must be specified.
-Argument A renamed to R
+Argument A renamed to R.
-- 
cgit v1.2.3