X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_paramodulation%2Fparamod.ml;h=0dbd6260aede1286d79976ea364a17e40d1ca5b1;hb=ad8d37cce3b39565861014d870b91b1add0ec0e3;hp=d98aa8b18e24657d8f5b69764e331e76940bc903;hpb=203d9c797cf1748a211251a3e002e8ecf52d8e3c;p=helm.git

diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml
index d98aa8b18..0dbd6260a 100644
--- a/helm/software/components/ng_paramodulation/paramod.ml
+++ b/helm/software/components/ng_paramodulation/paramod.ml
@@ -350,7 +350,7 @@ module Paramod (B : Orderings.Blob) = struct
   ;;
 
   let paramod ~useage ~max_steps ?timeout (bag,maxvar) ~g_passives ~passives =
-    let initial_timestamp = Unix.gettimeofday () in
+    let _initial_timestamp = Unix.gettimeofday () in
     let passives =
       add_passive_clauses ~no_weight:true passive_empty_set passives
     in