- match CicEnvironment.get_obj uri with
- Cic.Variable (_,_,ty,_) -> CicSubstitution.subst_vars newsubst ty
- | _ -> raise ReferenceToNonVariable in
+ let o,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
+ match o with
+ Cic.Variable (_,_,ty,_,_) ->
+ CicSubstitution.subst_vars newsubst ty
+ | _ -> raise ReferenceToNonVariable
+ in