| Cic.CurrentProof (_,metasenv',bo,ty,_,_) ->
let name = UriManager.name_of_uri uri in
if not(CicPp.check name ty) then
- MatitaLog.warn ("Bad name: " ^ name);
+ MatitaLog.error ("Bad name: " ^ name);
if opts.do_heavy_checks then
begin
let dbd = MatitaDb.instance () in