From f0a85b61cce59e55675df0ba6c9297166d757ce0 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Wed, 30 Aug 2017 12:09:56 +0200 Subject: Fixing a capitalization in the middle of the sentence of an error message. --- vernac/himsg.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'vernac/himsg.ml') diff --git a/vernac/himsg.ml b/vernac/himsg.ml index 2be10a039..e15911dd6 100644 --- a/vernac/himsg.ml +++ b/vernac/himsg.ml @@ -1176,7 +1176,7 @@ let error_not_allowed_case_analysis isrec kind i = pr_inductive (Global.env()) (fst i) ++ str "." let error_not_allowed_dependent_analysis isrec i = - str "Dependent " ++ str (if isrec then "Induction" else "Case analysis") ++ + str "Dependent " ++ str (if isrec then "induction" else "case analysis") ++ strbrk " is not allowed for inductive definition " ++ pr_inductive (Global.env()) i ++ str "." -- cgit v1.2.3