From fafb5e27e266a6b2b0e1068d9cf153ba45565b72 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 5 Aug 2019 23:27:58 +0200
Subject: [PATCH] Transition to String.* to String.*_ascii
---
gen_ast.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/gen_ast.ml b/gen_ast.ml
index 00522c24..d65039b2 100644
--- a/gen_ast.ml
+++ b/gen_ast.ml
@@ -151,8 +151,7 @@ let rec print_ocaml_type fmt =
| Int64 -> Format.fprintf fmt "Int64.t"
| Location -> Format.fprintf fmt "location"
| String -> Format.fprintf fmt "string"
- | Node s ->
- Format.pp_print_string fmt (String.uncapitalize_ascii s)
+ | Node s -> Format.pp_print_string fmt (String.uncapitalize_ascii s)
| Option t -> Format.fprintf fmt "(@[%a@])@ option" print_ocaml_type t
| List t -> Format.fprintf fmt "(@[%a@])@ list" print_ocaml_type t
--
GitLab