From ebb5bd7c2048daa7241bb07d8b53d07e0be27e62 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 25 Oct 2016 13:47:45 +0200
Subject: Add missing dot to impargs error message.

---
 library/impargs.ml                       | 2 +-
 test-suite/output/Arguments_renaming.out | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/library/impargs.ml b/library/impargs.ml
index 13816edb19..828d652c83 100644
--- a/library/impargs.ml
+++ b/library/impargs.ml
@@ -659,7 +659,7 @@ let check_inclusion l =
   let rec aux = function
     | n1::(n2::_ as nl) ->
 	if n1 <= n2 then
-	  error "Sequences of implicit arguments must be of different lengths";
+	  error "Sequences of implicit arguments must be of different lengths.";
 	aux nl
     | _ -> () in
   aux (List.map (fun (imps,_) -> List.length imps) l)
diff --git a/test-suite/output/Arguments_renaming.out b/test-suite/output/Arguments_renaming.out
index 8c5efcd897..9d90de47cb 100644
--- a/test-suite/output/Arguments_renaming.out
+++ b/test-suite/output/Arguments_renaming.out
@@ -106,7 +106,7 @@ Expands to: Constant Top.myplus
 The command has indeed failed with message:
 Error: Arguments lists should agree on names they provide.
 The command has indeed failed with message:
-Error: Sequences of implicit arguments must be of different lengths
+Error: Sequences of implicit arguments must be of different lengths.
 The command has indeed failed with message:
 Error: Arguments names must be distinct.
 The command has indeed failed with message:
-- 
cgit v1.2.3