avoid warning

diff --git a/helm/software/components/ng_tactics/nInversion.ml b/helm/software/components/ng_tactics/nInversion.ml
index 1ee47c74e97998dbfd552416ad7b12aec0589411..6fc9b2eee467bc9e15073e4cd3e94a0d354f0cef 100644 (file)
--- a/helm/software/components/ng_tactics/nInversion.ml
+++ b/helm/software/components/ng_tactics/nInversion.ml
@@ -95,7 +95,7 @@ let mk_inverter name it leftno ?selection outsort status baseuri =
      pp (lazy ("lunghezza rs = " ^ string_of_int (List.length rs)));
      let ys = List.map (fun n -> "y" ^ (string_of_int n)) (HExtlib.list_seq (leftno+1) (nparams+1)) in
     
-     let id_xs = List.map mk_id xs in
+     let _id_xs = List.map mk_id xs in
      let id_ls = List.map mk_id ls in
      let id_rs = List.map mk_id rs in
      let id_ys = List.map mk_id ys in