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.

---
 pretyping/miscops.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/miscops.ml b/pretyping/miscops.ml
index 7fe81c9a43..f53677abbb 100644
--- a/pretyping/miscops.ml
+++ b/pretyping/miscops.ml
@@ -62,7 +62,7 @@ let map_red_expr_gen f g h = function
 (** Mapping bindings *)
 
 let map_explicit_bindings f l =
-  let map (loc, hyp, x) = (loc, hyp, f x) in
+  let map (loc, (hyp, x)) = (loc, (hyp, f x)) in
   List.map map l
 
 let map_bindings f = function
-- 
cgit v1.2.3