X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=components%2Ftactics%2Fparamodulation%2Fequality.ml;h=1d798f9dc1a7d8b88867a5bc9fa6bb908a636405;hb=d738a2c22023d2f6df4c60faf4dd18eb1a8ad970;hp=10a64af19d09a15d762697512ba00de2270a964d;hpb=06b128f1107fd579a696b83b2f8255f83ab29a92;p=helm.git

diff --git a/components/tactics/paramodulation/equality.ml b/components/tactics/paramodulation/equality.ml
index 10a64af19..1d798f9dc 100644
--- a/components/tactics/paramodulation/equality.ml
+++ b/components/tactics/paramodulation/equality.ml
@@ -202,7 +202,7 @@ let build_ens uri termlist =
   let obj, _ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
   match obj with
   | Cic.Constant (_, _, _, uris, _) ->
-      assert (List.length uris <= List.length termlist);
+      (* assert (List.length uris <= List.length termlist); *)
       let rec aux = function
         | [], tl -> [], tl
         | (uri::uris), (term::tl) ->