diff options
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml index 578a770a..d7f403a4 100644 --- a/src/pretty_print_lem.ml +++ b/src/pretty_print_lem.ml @@ -130,7 +130,7 @@ let doc_id_lem_ctor (Id_aux(i,_)) = | Id("nat") -> string "integer" | Id("Some") -> string "Just" | Id("None") -> string "Nothing" - | Id i -> string (fix_id false (String.capitalize i)) + | Id i -> string (fix_id false (String.capitalize_ascii i)) | DeIid x -> string (Util.zencode_string ("op " ^ x)) let deinfix = function |