From 858f8dba967713692662f23c79d8c33f2d362e91 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 23 Feb 2020 18:03:13 +0100
Subject: Cancelling precedences in Set Printing Parentheses only at border of
 notations.

---
 parsing/ppextend.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'parsing/ppextend.mli')

diff --git a/parsing/ppextend.mli b/parsing/ppextend.mli
index 346fc83f5f..18e48942c6 100644
--- a/parsing/ppextend.mli
+++ b/parsing/ppextend.mli
@@ -30,9 +30,9 @@ val ppcmd_of_cut : ppcut -> Pp.t
 
 (** Declare and look for the printing rule for symbolic notations *)
 type unparsing =
-  | UnpMetaVar of entry_relative_level
+  | UnpMetaVar of entry_relative_level * Extend.side option
   | UnpBinderMetaVar of entry_relative_level
-  | UnpListMetaVar of entry_relative_level * unparsing list
+  | UnpListMetaVar of entry_relative_level * unparsing list * Extend.side option
   | UnpBinderListMetaVar of bool * unparsing list
   | UnpTerminal of string
   | UnpBox of ppbox * unparsing Loc.located list
-- 
cgit v1.2.3