...

diff --git a/helm/software/components/ng_tactics/nAuto.ml b/helm/software/components/ng_tactics/nAuto.ml
index bdcb98969d546a78703029b5e8f184f10f130079..642682a89724467bde10c0e3cfbac63220f1d885 100644 (file)
--- 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