proposition names in Why can start with an lowercase

3930d3dd · Andrei Paskevich · 1df49fa6 · 3930d3dd · 3930d3dd
Commit 3930d3dd authored May 14, 2011 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 4 deletions

src/core/pretty.ml src/core/pretty.ml +1 -2

src/printer/why3.ml src/printer/why3.ml +1 -2

No files found.
--- a/src/core/pretty.ml
+++ b/src/core/pretty.ml
@@ -39,10 +39,9 @@ let iprinter,tprinter,pprinter =
  in
  let isanitize = sanitizer char_to_alpha char_to_alnumus in
  let lsanitize = sanitizer char_to_lalpha char_to_alnumus in
-  let usanitize = sanitizer char_to_ualpha char_to_alnumus in
  create_ident_printer bl ~sanitizer:isanitize,
  create_ident_printer bl ~sanitizer:lsanitize,
-  create_ident_printer bl ~sanitizer:usanitize
+  create_ident_printer bl ~sanitizer:isanitize

 let forget_all () =
  forget_all iprinter;

--- a/src/printer/why3.ml
+++ b/src/printer/why3.ml
@@ -39,10 +39,9 @@ let iprinter,tprinter,pprinter =
  in
  let isanitize = sanitizer char_to_alpha char_to_alnumus in
  let lsanitize = sanitizer char_to_lalpha char_to_alnumus in
-  let usanitize = sanitizer char_to_ualpha char_to_alnumus in
  create_ident_printer bl ~sanitizer:isanitize,
  create_ident_printer bl ~sanitizer:lsanitize,
-  create_ident_printer bl ~sanitizer:usanitize
+  create_ident_printer bl ~sanitizer:isanitize

 let forget_all () =
  forget_all iprinter;