From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 6 Oct 2009 13:16:08 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~3372
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=45feaa6c75ecd1e7457581fc5d3c1dd8cda72807;p=helm.git

...
---

diff --git a/helm/software/components/ng_tactics/nAuto.ml b/helm/software/components/ng_tactics/nAuto.ml
index bdcb98969..642682a89 100644
--- a/helm/software/components/ng_tactics/nAuto.ml
+++ b/helm/software/components/ng_tactics/nAuto.ml
@@ -967,14 +967,14 @@ type flags = {
         timeout  : float;
 }
 
-let close_failures = assert false;;
-let equational_and_applicative_case = assert false;;
-let prunable = assert false;;
-let cache_examine = assert false;;
-let put_in_subst = assert false;;
-let calculate_goal_ty = assert false;;
-let add_to_cache_and_del_from_orlist_if_green_cut = assert false;;
-let cache_add_underinspection = assert false;;
+let close_failures _ = assert false;;
+let equational_and_applicative_case _ = assert false;;
+let prunable _ = assert false;;
+let cache_examine _ = assert false;;
+let put_in_subst _ = assert false;;
+let calculate_goal_ty _ = assert false;;
+let add_to_cache_and_del_from_orlist_if_green_cut _ = assert false;;
+let cache_add_underinspection _ = assert false;;
 
 let d_goals l =
   let rec aux acc = function