X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralConversion.ml;h=97e32b94a458f1cdd3ce9bf9c49f30a21c5c675a;hb=916c558005ed665c62699a7a4c5347870c8a3efb;hp=3eadc2fcf985395f9613a64a859decb0fb45d515;hpb=04f22df647f35080b499b720bca7bc0eb1794c64;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralConversion.ml b/helm/software/components/acic_procedural/proceduralConversion.ml
index 3eadc2fcf..97e32b94a 100644
--- a/helm/software/components/acic_procedural/proceduralConversion.ml
+++ b/helm/software/components/acic_procedural/proceduralConversion.ml
@@ -59,7 +59,10 @@ let lift k n =
       | C.ARel (id, rid, m, b) as t -> 
          if m < k then t else 
 	 if m + n > 0 then C.ARel (id, rid, m + n, b) else
-	 assert false
+	 begin 
+	    HLog.error (Printf.sprintf "ProceduralConversion.lift: %i %i" m n);
+	    assert false
+	 end
       | C.AConst (id, uri, xnss) -> C.AConst (id, uri, List.map (lift_xns k) xnss)
       | C.AVar (id, uri, xnss) -> C.AVar (id, uri, List.map (lift_xns k) xnss)
       | C.AMutInd (id, uri, tyno, xnss) -> C.AMutInd (id, uri, tyno, List.map (lift_xns k) xnss)