From 47e010c2dd0ab6370704d8ab24552753e4e1b1dc Mon Sep 17 00:00:00 2001
From: Amin Timany <amintimany@gmail.com>
Date: Mon, 3 Apr 2017 16:28:20 +0200
Subject: Fix typo in error message

---
 kernel/indtypes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/indtypes.ml')

diff --git a/kernel/indtypes.ml b/kernel/indtypes.ml
index 068332406..91e6ec285 100644
--- a/kernel/indtypes.ml
+++ b/kernel/indtypes.ml
@@ -217,7 +217,7 @@ let check_subtyping_arity_constructor env (subst : constr -> constr) (arcn : Ter
          try 
            basic_check env typ'; Environ.push_rel typ typ_env
          with NotConvertible -> 
-           anomaly ~label:"bad inductive subtyping relation" (Pp.str "Invalid subtyping relation!")
+           anomaly ~label:"bad inductive subtyping relation" (Pp.str "Invalid subtyping relation")
        end
      | _ -> anomaly (Pp.str "")
   in
-- 
cgit v1.2.3