From bfb28c7720d9101e2caedff0c1f1f2cdbf0bad65 Mon Sep 17 00:00:00 2001
From: Xavier Leroy
Date: Mon, 24 Jun 2019 17:08:11 +0200
Subject: Support extraction of Coq's string type to OCaml's string type

Instead of the default extraction to OCaml's "char list" type.
---
 plugins/extraction/ocaml.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'plugins/extraction/ocaml.ml')

diff --git a/plugins/extraction/ocaml.ml b/plugins/extraction/ocaml.ml
index 66429833b9..ab37bd2d76 100644
--- a/plugins/extraction/ocaml.ml
+++ b/plugins/extraction/ocaml.ml
@@ -249,6 +249,7 @@ let rec pp_expr par env args =
         assert (List.is_empty args);
         begin match a with
           | _ when is_native_char c -> pp_native_char c
+          | _ when is_native_string c -> pp_native_string c
           | [a1;a2] when is_infix r ->
             let pp = pp_expr true env [] in
             pp_par par (pp a1 ++ str (get_infix r) ++ pp a2)
-- 
cgit v1.2.3