From 366fa1bdea12b522c98984f50428ef8aa48cf8d0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 9 Oct 2006 16:11:01 +0000
Subject: Notations: - prise en compte des variables liées non liées par la
 notation (bug #1186), - test pour affichage des notations aussi sur les
 sous-ensembles   des lieurs multiples (cf notation "#" dans
 output/Notations.v), - extension, correction et uniformisation de quelques
 fonctions sur   les constr_expr et cases_pattern (avec incidences sur
 rawterm.ml,   parsing et contrib/interface).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9226 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/dad.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/interface')

diff --git a/contrib/interface/dad.ml b/contrib/interface/dad.ml
index 578abc4907..8096bc3111 100644
--- a/contrib/interface/dad.ml
+++ b/contrib/interface/dad.ml
@@ -73,7 +73,7 @@ let rec map_subst (env :env) (subst:patvar_map) = function
   | CPatVar (_,(_,i)) ->
       let constr = List.assoc i subst in
       extern_constr false env constr
-  | x -> map_constr_expr_with_binders (map_subst env) (fun _ x -> x) subst x;;
+  | x -> map_constr_expr_with_binders (fun _ x -> x) (map_subst env) subst x;;
 
 let map_subst_tactic env subst = function
   | TacExtend (loc,("Rewrite" as x),[b;cbl]) ->
-- 
cgit v1.2.3