X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FcicUtil.ml;h=36f65391eeac23d27c565b65d8e09ea52cd22f0c;hb=72cd94b68037956a70b98cfa54f316fd54e52bae;hp=deb8f1e68bc3fdf69a84b4f3e5fc77d50d5f4515;hpb=cdd3fc617825db73ce08a0cb700e2a8e115b4fb3;p=helm.git

diff --git a/helm/software/components/cic/cicUtil.ml b/helm/software/components/cic/cicUtil.ml
index deb8f1e68..36f65391e 100644
--- a/helm/software/components/cic/cicUtil.ml
+++ b/helm/software/components/cic/cicUtil.ml
@@ -550,7 +550,8 @@ let alpha_equivalence =
 
 let is_sober c t =
    let rec sober_term c g = function
-      | C.Rel _ 
+      | C.Rel i                         ->
+         if i <= 0 then fun b -> false else g
       | C.Sort _  
       | C.Implicit _                    -> g      
       | C.Const (_, xnss)