From 46a17141e6a19fff9dfeb1ef18cbba054e34e3c3 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 18 Sep 2017 18:14:25 +0200
Subject: Reporting locations in error messages about notation formats.

---
 printing/ppconstr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing/ppconstr.ml')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 37204c2134..102c6ef6de 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -117,7 +117,7 @@ let tag_var = tag Tag.variable
         let pp1 = str s in
         return unp pp1 pp2
       | UnpBox (b,sub) as unp :: l ->
-        let pp1 = ppcmd_of_box b (aux sub) in
+        let pp1 = ppcmd_of_box b (aux (List.map snd sub)) in
         let pp2 = aux l in
         return unp pp1 pp2
       | UnpCut cut as unp :: l ->
-- 
cgit v1.2.3