Dead code removed.

[helm.git] / helm / ocaml / tactics / paramodulation / saturation.ml

diff --git a/helm/ocaml/tactics/paramodulation/saturation.ml b/helm/ocaml/tactics/paramodulation/saturation.ml
index 6946df1a2be57257dfa53cabe519830f27960381..0514ed5033f732389b8221cf903a5ab10118995f 100644 (file)
--- a/helm/ocaml/tactics/paramodulation/saturation.ml
+++ b/helm/ocaml/tactics/paramodulation/saturation.ml
@@ -2218,7 +2218,7 @@ let retrieve_and_print dbd term metasenv ugraph =
              | Some e -> (u, (snd e))::others_simpl
          ) 
   in
-  let equalities =
+  let _equalities =
     match equalities with
       | [] -> []
       | hd::tl ->