(*****************************************************************)
exception AutoFailure of AutoCache.cache * int
-let default_auto maxm _ _ _ _ _ = [],AutoCache.cache_empty,maxm ;;
+let default_auto maxm _ _ _ c _ = [],c,maxm ;;
let close_hypothesis_of_term context metasenv oldnewmeta term cache auto fast =
let head, metasenv, args, newmeta =