From 14c10727c8eddb89788b002c4ebc61949c7ede7f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 9 May 2008 12:05:57 +0000
Subject: [PATCH] a missing prime

---
 helm/software/components/cic_disambiguation/disambiguate.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/components/cic_disambiguation/disambiguate.ml b/helm/software/components/cic_disambiguation/disambiguate.ml
index 4b17bef5d..237edff30 100644
--- a/helm/software/components/cic_disambiguation/disambiguate.ml
+++ b/helm/software/components/cic_disambiguation/disambiguate.ml
@@ -380,7 +380,7 @@ let interpretate_term ?(create_dummy_ids=false) ~(context: Cic.name list) ~env ~
                 if localize then
                  match body with
                     CicNotationPt.AttributedTerm (_,CicNotationPt.Appl(_::l)) ->
-                     let l' = List.map (aux ~localize loc context) l in
+                     let l' = List.map (aux ~localize loc context') l in
                       `AvoidLetIn (n,l')
                   | _ -> assert false
                 else
-- 
2.39.2