From d25d8606132d909f449ad65c6131e6eda6135dda Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 7 May 2007 13:36:14 +0000 Subject: [PATCH] ... --- helm/software/components/tactics/auto.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/software/components/tactics/auto.ml b/helm/software/components/tactics/auto.ml index f767ed21e..c2d933b0a 100644 --- a/helm/software/components/tactics/auto.ml +++ b/helm/software/components/tactics/auto.ml @@ -795,7 +795,6 @@ let rec auto_main tables maxm context flags elems universe cache = "with depth"^string_of_int depth)); debug_print (lazy (AutoCache.cache_print context cache)); if sort = T (* && tl <> []*) then - aux flags tables maxm cache ((metasenv,subst,gl)::tl) (debug_print (lazy (" FAILURE(not in prop)")); aux flags tables maxm cache ((metasenv,subst,gl)::tl)) -- 2.39.2