let rec process_type_aux kind =
function
C.Var (uri,expl_named_subst) ->
- ([!!!kind, UriManager.string_of_uri uri],[],[]) @@
+ (* andrea: this is a bug: variable are not indexedin the db
+ ([!!!kind, UriManager.string_of_uri uri],[],[]) @@ *)
(process_type_aux_expl_named_subst kind expl_named_subst)
| C.Rel _ ->
(match kind with