From 29ff024ae2dca40fa476a2b8ffa1f16b1abf8288 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 30 Jun 2007 12:16:20 +0000 Subject: [PATCH] BU Conversion was not generated for Rels fixed. I wonder why... --- helm/software/components/acic_content/acic2content.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/helm/software/components/acic_content/acic2content.ml b/helm/software/components/acic_content/acic2content.ml index 99bab2de4..f27b881ba 100644 --- a/helm/software/components/acic_content/acic2content.ml +++ b/helm/software/components/acic_content/acic2content.ml @@ -118,7 +118,11 @@ let test_for_lifting ~ids_to_inner_types ~ids_to_inner_sorts= let module C2A = Cic2acic in (* atomic terms are never lifted, according to my policy *) function - C.ARel (id,_,_,_) -> false + C.ARel (id,_,_,_) -> + (try + ignore (Hashtbl.find ids_to_inner_types id).C2A.annsynthesized; + true; + with Not_found -> false) | C.AVar (id,_,_) -> (try ignore (Hashtbl.find ids_to_inner_types id).C2A.annsynthesized; -- 2.39.2