From 45feaa6c75ecd1e7457581fc5d3c1dd8cda72807 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 6 Oct 2009 13:16:08 +0000
Subject: [PATCH] ...

---
 helm/software/components/ng_tactics/nAuto.ml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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
-- 
2.39.2