diff options
Diffstat (limited to 'pretyping')
| -rw-r--r-- | pretyping/detyping.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/detyping.ml b/pretyping/detyping.ml index 545366a70f..2db867fc5c 100644 --- a/pretyping/detyping.ml +++ b/pretyping/detyping.ml @@ -85,7 +85,7 @@ module PrintingCasesIf = PrintingInductiveMake (struct let encode = encode_bool let field = "If" - let title = "Types leading to pretty-printing of Cases using a `if' form: " + let title = "Types leading to pretty-printing of Cases using a `if' form:" let member_message s b = str "Cases on elements of " ++ s ++ str |