From f7992de2dc4ce0091197b9476779fc120a2fd9ec Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 27 Nov 2018 21:03:57 -0500
Subject: Factor out common code in numeral/string notations

As per https://github.com/coq/coq/pull/8965#issuecomment-441440779
---
 plugins/syntax/string_notation.ml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'plugins/syntax/string_notation.ml')

diff --git a/plugins/syntax/string_notation.ml b/plugins/syntax/string_notation.ml
index fff8e928c3..12ee4c6eda 100644
--- a/plugins/syntax/string_notation.ml
+++ b/plugins/syntax/string_notation.ml
@@ -80,11 +80,12 @@ let vernac_string_notation local ty f g scope =
     else if has_type g (arrow cty (opt cbyte)) then Byte, Option
     else type_error_of g ty
   in
-  let o = { sto_kind = to_kind;
-            sto_ty = to_ty;
-            sof_kind = of_kind;
-            sof_ty = of_ty;
-            string_ty = ty }
+  let o = { to_kind = to_kind;
+            to_ty = to_ty;
+            of_kind = of_kind;
+            of_ty = of_ty;
+            ty_name = ty;
+            warning = () }
   in
   let i =
        { pt_local = local;
-- 
cgit v1.2.3