From 824b2393c9cc180c82dba00ee710124c24184945 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 24 May 2019 16:35:09 +0200
Subject: Use global env in numeral and string notations

Since their introduction, these notations were incorrectly using the
proof-local environment.
---
 plugins/syntax/string_notation.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/plugins/syntax/string_notation.mli b/plugins/syntax/string_notation.mli
index e81de603d9..1e25758572 100644
--- a/plugins/syntax/string_notation.mli
+++ b/plugins/syntax/string_notation.mli
@@ -13,6 +13,6 @@ open Vernacexpr
 
 (** * String notation *)
 
-val vernac_string_notation : Environ.env -> Evd.evar_map -> locality_flag ->
+val vernac_string_notation : locality_flag ->
                              qualid -> qualid -> qualid ->
                              Notation_term.scope_name -> unit
-- 
cgit v1.2.3