From bf13037e9ca39da28fb648e5488ce56ef8a1f1e2 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 17 Jan 2017 15:06:26 +0100
Subject: [location] Use located in misctypes.

---
 ide/texmacspp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/texmacspp.ml b/ide/texmacspp.ml
index 77dca0d06f..f86b260df5 100644
--- a/ide/texmacspp.ml
+++ b/ide/texmacspp.ml
@@ -649,7 +649,7 @@ let rec tmpp v loc =
         match r with
         | AN (Qualid (_, q)) -> ["qualid", string_of_qualid q]
         | AN (Ident (_, id)) -> ["id", Id.to_string id]
-        | ByNotation (_, s, _) -> ["notation", s] in
+        | ByNotation (_, (s, _)) -> ["notation", s] in
       xmlCanonicalStructure attr loc
   | VernacCoercion _ as x -> xmlTODO loc x
   | VernacIdentityCoercion _ as x -> xmlTODO loc x
-- 
cgit v1.2.3