Removed dead code

[helm.git] / helm / software / components / ng_paramodulation / paramod.ml

diff --git a/helm/software/components/ng_paramodulation/paramod.ml b/helm/software/components/ng_paramodulation/paramod.ml
index d98aa8b18e24657d8f5b69764e331e76940bc903..0dbd6260aede1286d79976ea364a17e40d1ca5b1 100644 (file)
--- 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