From ef7a95e2ca705f0fd72f15e7352eb77bf9c6eaed Mon Sep 17 00:00:00 2001
From: Xavier Leroy
Date: Thu, 11 Jul 2019 09:26:10 +0200
Subject: Support extraction of Coq's string type to OCaml's string type,
 continued

Address issues found in CI testing and in code review.
---
 plugins/extraction/common.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/plugins/extraction/common.ml b/plugins/extraction/common.ml
index 099a22408a..4ab1ac2fba 100644
--- a/plugins/extraction/common.ml
+++ b/plugins/extraction/common.ml
@@ -692,7 +692,7 @@ let is_native_string c =
 
 (* Extract the underlying string. *)
 
-let rec get_native_string c =
+let get_native_string c =
   let buf = Buffer.create 64 in
   let rec get = function
     (* "EmptyString" constructor *)
-- 
cgit v1.2.3